The following commit has been merged in the master branch:
commit ac6c79cfa268739bca22f1d9eefbe4d40ae6923a
Author: Stephane Glondu <st...@glondu.net>
Date:   Thu Apr 21 21:46:23 2011 +0200

    Really upload to unstable...

diff --git a/debian/changelog b/debian/changelog
index 6f52f4c..4f43b02 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-ssreflect (1.3pl1-2) experimental; urgency=low
+ssreflect (1.3pl1-3) unstable; urgency=low
 
   * Upload to unstable
 

-- 
ssreflect 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