diff options
author | Stephane Glondu <steph@glondu.net> | 2020-07-25 07:45:08 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2020-07-25 07:45:08 +0200 |
commit | 3f36e301c995067027929ee2d0795c53d7c8c450 (patch) | |
tree | 3d5d94a14bb7789ab5221687e20ff360bd861745 | |
parent | 28d139988460ddf1658e6a35fb2a61443504a929 (diff) |
New upstream release
-rw-r--r-- | debian/changelog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index fe7d5d3..164de26 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +ppx-tools-versioned (5.4.0-1) UNRELEASED; urgency=medium + + * New upstream release + + -- Stéphane Glondu <glondu@debian.org> Sat, 25 Jul 2020 07:45:03 +0200 + ppx-tools-versioned (5.2.3-1) unstable; urgency=medium * Team upload |