[Pkg-ocaml-maint-commits] [SCM] matita packaging branch, master, updated. debian/0.5.8-3-2-gee3cc44

[Stephane Glondu]

The following commit has been merged in the master branch:
commit ee3cc443f39a3e15a3a7806de317433b05dcdeb4
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Mar 12 12:53:37 2012 +0100

    Update changelog

diff --git a/debian/changelog b/debian/changelog
index 06904aa..7f0a29d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+matita (0.5.8-4) UNRELEASED; urgency=low
+
+  * Fix FTBFS with camlp5 6.05
+
+ -- Stéphane Glondu <glondu at debian.org>  Mon, 12 Mar 2012 12:53:25 +0100
+
 matita (0.5.8-3) unstable; urgency=low
 
   [ Stéphane Glondu ]

-- 
matita packaging