archive/debian/12.1 protected

Ian Jackson

@iwj

90d9a257 · Merge branch 'option' into 'master' · Dec 13, 2024

dgit release 12.1 for unstable (sid) [dgit]

[dgit distro=debian no-split]