debian/13.19 protected

Ian Jackson

@iwj

88432e13 · Merge branch 'changelog' into 'main' · Dec 19, 2025

dgit release 13.19 for unstable (sid) [dgit]

[dgit distro=debian no-split]