archive/debian/1.2.1-3

Stéphane Glondu

@glondu

12b7860e · Declare fast forward from 1.2.1-2 · Feb 10, 2020

why3 release 1.2.1-3 for unstable (sid) [dgit]

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