summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStephane Glondu <steph@glondu.net>2020-10-14 17:33:09 +0200
committerStephane Glondu <steph@glondu.net>2020-10-14 17:33:09 +0200
commit2e893850f8a8fd0e91ee0c9c2adbb4eff7a78a21 (patch)
tree23e1fa581efb2b5ef261add30df76ccccb37cf40
parent857e3d63d79301fca8ff0c698352499d129ddb75 (diff)
Prepare upload to unstabledebian/4.1.8-2
-rw-r--r--debian/changelog6
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index 8b023180..0637daf9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+ocamlnet (4.1.8-2) unstable; urgency=medium
+
+ * Call ./configure with OCAML_CUSTOM_USE_OUTPUT_COMPLETE_EXE unset
+
+ -- Stéphane Glondu <glondu@debian.org> Wed, 14 Oct 2020 17:32:59 +0200
+
ocamlnet (4.1.8-1) unstable; urgency=medium
* New upstream release