diff options
author | Stephane Glondu <steph@glondu.net> | 2023-07-22 08:31:16 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2023-07-22 08:31:16 +0200 |
commit | 5e2646ab3eba73ca35abb42b316de5537f1420b7 (patch) | |
tree | d27b51ab9acf69ad8aec6bbc40184349798648f8 | |
parent | e359b0fb53740258735fa9616183b2229a8e7a4d (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 87adffa..99b89f7 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,5 +1,5 @@ -not-ocamlfind (0.10+dfsg-1) UNRELEASED; urgency=medium +not-ocamlfind (0.10+dfsg-1) unstable; urgency=medium * Initial release (Closes: #1041684) - -- Stéphane Glondu <glondu@debian.org> Sat, 22 Jul 2023 07:19:07 +0200 + -- Stéphane Glondu <glondu@debian.org> Sat, 22 Jul 2023 08:31:11 +0200 |