diff options
author | Stephane Glondu <steph@glondu.net> | 2020-07-25 07:58:24 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2020-07-25 07:58:24 +0200 |
commit | ab49e53f9d604d8c0380f10ba50bfa7e3d36709f (patch) | |
tree | edb2c4c03d1549ea6b5a82f66bb7e7802bd3e56b | |
parent | f7531b8fa5c1702b62e738da3a2b1010ecbaad66 (diff) |
Prepare upload to unstabledebian/5.4.0-1
-rw-r--r-- | debian/changelog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 17882f3..2f4d249 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -ppx-tools-versioned (5.4.0-1) UNRELEASED; urgency=medium +ppx-tools-versioned (5.4.0-1) unstable; urgency=medium * Team upload * New upstream release @@ -6,7 +6,7 @@ ppx-tools-versioned (5.4.0-1) UNRELEASED; urgency=medium * Bump Standards-Version to 4.5.0 * Add Rules-Requires-Root: no - -- Stéphane Glondu <glondu@debian.org> Sat, 25 Jul 2020 07:45:03 +0200 + -- Stéphane Glondu <glondu@debian.org> Sat, 25 Jul 2020 07:58:18 +0200 ppx-tools-versioned (5.2.3-1) unstable; urgency=medium |