debian/0.7.2

Colin Watson

@cjwatson

01f3d9d0 · Merge branch 'release-0.7.2' into 'devel' · Nov 13, 2024

debusine release 0.7.2 for unstable (sid) [dgit]

[dgit distro=debian no-split]