summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStephane Glondu <steph@glondu.net>2020-10-15 07:31:05 +0200
committerStéphane Glondu <Stéphane Glondu glondu@debian.org>2020-10-15 07:51:53 +0200
commitc7dcc2589ae2b3219687667f9cae00d48dd49ec7 (patch)
treec667fa18301f9c0825dfef5ad519447746917205
parent87a1663bbfad071f271c15a48626f6224da39358 (diff)
Prepare upload to unstabledebian/20200210-3
-rw-r--r--debian/changelog7
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index bfb80c4..969b701 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+ocaml-visitors (20200210-3) unstable; urgency=medium
+
+ * Team upload
+ * Call dune build with -p to avoid warnings-as-erros
+
+ -- Stéphane Glondu <glondu@debian.org> Thu, 15 Oct 2020 07:31:03 +0200
+
ocaml-visitors (20200210-2) unstable; urgency=medium
* Team upload