debian/4.2 protected

Ian Jackson

@iwj

50073d25 · changelog: finalise 4.2 · Jan 07, 2018

dgit release 4.2 for unstable (sid) [dgit]
[dgit distro=debian]