archive/debian/4.4-2

Stéphane Glondu

@glondu

0babf2da · Make fast forward from 4.4-1 · Sep 17, 2019

ppx-deriving release 4.4-2 for unstable (sid) [dgit]

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