debian/3.11_deb9u1 protected

Ian Jackson

@iwj

3ab98ee1 · changelog: finalise stable update · Jul 15, 2017

dgit release 3.11~deb9u1 for stretch (stretch) [dgit]
[dgit distro=debian]