debian/7.0 protected

Ian Jackson

@iwj

fa303f34 · changelog: changes for 7.0, and finalise · Oct 04, 2018

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