archive/debian/5.2.1-2

Stéphane Glondu

@glondu

be749b41 · Declare fast forward from 5.2.1-1 · Aug 02, 2019

ppx-tools-versioned release 5.2.1-2 for unstable (sid) [dgit]

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