[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.30+dfsg-5-1-g6691a9d

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 6691a9df74ef651ea879bf6046438b589053b09f
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Wed May 16 12:54:14 2012 +0200

    Release to unstable

diff --git a/debian/changelog b/debian/changelog
index 6335b7d..c0753eb 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,10 +1,10 @@
-why (2.30+dfsg-5) UNRELEASED; urgency=low
+why (2.30+dfsg-5) unstable; urgency=low
 
   * Update 0001-Why-2.29-do-support-Coq-8.3.patch
     - Mark Coq 8.3pl4 as compatible.
   * Bump Standards-Version to 3.9.3, no changes required.
 
- -- Mehdi Dogguy <mehdi at debian.org>  Wed, 16 May 2012 12:46:14 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Wed, 16 May 2012 12:54:14 +0200
 
 why (2.30+dfsg-4) unstable; urgency=high
 

-- 
why packaging