[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.pl1+dfsg-4-4-gbeb7d53

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 39cc8d15c2b2fecf6cd67376e5e7df42a98ba132
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Feb 10 09:21:51 2010 +0100

    NOT RELEASED YET

diff --git a/debian/changelog b/debian/changelog
index f53942e..780654c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.2.pl1+dfsg-5) UNRELEASED; urgency=low
+
+  * NOT RELEASED YET
+
+ -- Stéphane Glondu <glondu at debian.org>  Wed, 10 Feb 2010 09:21:38 +0100
+
 coq (8.2.pl1+dfsg-4) unstable; urgency=low
 
   [ Stefano Zacchiroli ]

-- 
coq packaging