[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.2+dfsg-2-5-g9b13712

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 65a88d269249e009bf4420d8cdc5b8aec2bed52f
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Dec 19 16:41:37 2009 +0100

    NOT RELEASED YET

diff --git a/debian/changelog b/debian/changelog
index 20db43b..814121f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+ssreflect (1.2+dfsg-3) UNRELEASED; urgency=low
+
+  * NOT RELEASED YET
+
+ -- Stéphane Glondu <glondu at debian.org>  Sat, 19 Dec 2009 16:41:27 +0100
+
 ssreflect (1.2+dfsg-2) unstable; urgency=low
 
   * Use -R when invoking coq_makefile to avoid warnings and need of

-- 
ssreflect packaging