The following commit has been merged in the master branch:
commit f23ca11128fd713789e64a93090d6fd7ec9eca72
Author: Stephane Glondu <st...@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 <glo...@debian.org>  Tue, 19 Apr 2011 16:54:06 +0200
+ -- St├ęphane Glondu <glo...@debian.org>  Tue, 19 Apr 2011 17:37:30 +0200
 
 coq (8.3.pl1+dfsg-2) experimental; urgency=low
 

-- 
coq packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to