diff options
author | Stephane Glondu <steph@glondu.net> | 2019-08-07 19:27:04 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2019-08-07 19:27:04 +0200 |
commit | 09a377df95531ecc26c6d88ece7a753fbba19dd2 (patch) | |
tree | 5b0df768af4c8169614bf55f8b05ea68e6257c4e | |
parent | dc23e5e61be7da0c894e0dc08e4fc1c39f87e53e (diff) |
Prepare upload to unstable
-rw-r--r-- | debian/changelog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 8fd1101..56b704f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,5 +1,5 @@ -ocaml-sexplib0 (0.12.0-1) UNRELEASED; urgency=medium +ocaml-sexplib0 (0.12.0-1) unstable; urgency=medium * Initial release (Closes: #934149) - -- Stéphane Glondu <glondu@debian.org> Wed, 07 Aug 2019 18:58:30 +0200 + -- Stéphane Glondu <glondu@debian.org> Wed, 07 Aug 2019 19:26:56 +0200 |