[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.1-3-27-gabb5c8e

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 72b955880a5436b891d1b81aa277935b42a8fef1
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Jan 6 18:08:45 2010 +0100

    New upstream release

diff --git a/debian/changelog b/debian/changelog
index 50ccd6c..6378952 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,11 +1,12 @@
-coq-doc (8.1-4) UNRELEASED; urgency=low
+coq-doc (8.2pl1-1) UNRELEASED; urgency=low
+
+  [ Stéphane Glondu ]
+  * New upstream release
+  * Switching packaging to git
 
   [ Stefano Zacchiroli ]
   * fix vcs-svn field to point just above the debian/ dir
 
-  [ Stephane Glondu ]
-  * Switching packaging to git
-
   [ Samuel Mimram ]
   * Change coq-doc's description to mention that it provides documentation in
     pdf format, not postscript, closes: #543545.

-- 
coq-doc packaging