diff options
author | Stephane Glondu <steph@glondu.net> | 2020-07-25 07:49:51 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2020-07-25 07:58:16 +0200 |
commit | f7531b8fa5c1702b62e738da3a2b1010ecbaad66 (patch) | |
tree | ecfd76624fcaf525c832cfe024ccad5cbc0836c2 | |
parent | 3094791d08b503d3756375a4b9f20a76fade8fe9 (diff) |
Update changelog
-rw-r--r-- | debian/changelog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 164de26..17882f3 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,6 +1,10 @@ ppx-tools-versioned (5.4.0-1) UNRELEASED; urgency=medium + * Team upload * New upstream release + * Bump debhelper compat level to 13 + * 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 |