diff options
author | Stephane Glondu <steph@glondu.net> | 2020-08-25 07:02:16 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2020-08-25 07:02:16 +0200 |
commit | d06e4dad395b37baa63b265f4bc5624020ed4256 (patch) | |
tree | 20c5d24a2c82a1358a4c93f026cdf34065662dde | |
parent | eea59b7d861ce5364d917f16729db05b6ae4e410 (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 15b4eb6..2db094b 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +ocaml-benchmark (1.6-1) UNRELEASED; urgency=medium + + * New upstream release + + -- Stéphane Glondu <glondu@debian.org> Tue, 25 Aug 2020 07:02:09 +0200 + ocaml-benchmark (1.3-3) unstable; urgency=medium * Team upload |