debian/3.13 protected

Ian Jackson

@iwj

b363aeb4 · changelog: finalise 3.13 · Oct 22, 2017

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