summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStephane Glondu <steph@glondu.net>2019-11-08 16:43:31 +0100
committerStéphane Glondu <steph@glondu.net>2019-11-08 16:43:31 +0100
commitc613d03111e4459aa2c93227061a3bcb2b8be4b7 (patch)
tree40c96b10137e06c23d360cf2a56e99d84770466b
parentf69f516d7de583cc4f71ccbef445f33b8b0c28f9 (diff)
Recompile with OCaml 4.08.1debian/1.8.2-2
-rw-r--r--debian/changelog7
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index a19a01f..33ad910 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+xstrp4 (1.8.2-2) unstable; urgency=medium
+
+ * Team upload
+ * Recompile with OCaml 4.08.1
+
+ -- Stéphane Glondu <glondu@debian.org> Fri, 08 Nov 2019 16:43:26 +0100
+
xstrp4 (1.8.2-1) unstable; urgency=medium
* New upstream release