[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl1+dfsg-2-7-gf23ca11

[Stephane Glondu]

The following commit has been merged in the master branch:
commit f23ca11128fd713789e64a93090d6fd7ec9eca72
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Apr 19 16:58:32 2011 +0200

    Update changelog and prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 31839e8..3a9dcc4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,10 @@
-coq (8.3.pl2+dfsg-1) UNRELEASED; urgency=low
+coq (8.3.pl2+dfsg-1) unstable; urgency=low
 
   * New upstream release
+  * Add patch to fix thumb2-related build error (Closes: #622882)
+  * Upload to unstable
 
- -- Stéphane Glondu <glondu at debian.org>  Tue, 19 Apr 2011 16:54:06 +0200
+ -- Stéphane Glondu <glondu at debian.org>  Tue, 19 Apr 2011 17:37:30 +0200
 
 coq (8.3.pl1+dfsg-2) experimental; urgency=low
 

-- 
coq packaging