debian/20220210+ds1-1

Stéphane Glondu

@glondu

338d523a · Update changelog and prepare upload to unstable · Jul 26, 2023

menhir release 20220210+ds1-1 for unstable (sid)

(maintainer view tag generated by dgit --quilt=gbp)

[dgit distro=debian split --quilt=gbp]