ppx-custom-printf (0.14.0-1) unstable; urgency=medium

  * New upstream release
  * Bump debhelper compat level to 13

 -- Stéphane Glondu <glondu@debian.org>  Wed, 29 Jul 2020 16:57:20 +0200

ppx-custom-printf (0.13.0-1) unstable; urgency=medium

  * Initial release (Closes: #950002)

 -- Stéphane Glondu <glondu@debian.org>  Tue, 28 Jan 2020 13:26:45 +0100
