[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.18.dfsg-2-11-g46f7bb9

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 9d3d6edd9e361f9c6bc12201e15460279dfc43c9
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri May 15 18:23:07 2009 +0200

    Prepare to release

diff --git a/debian/changelog b/debian/changelog
index 19c4e13..6133def 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-why (2.18.dfsg-3) UNRELEASED; urgency=low
+why (2.18.dfsg-3) unstable; urgency=low
 
   * Fix erroneous usage of ifdef in debian/rules.
   * why-examples depends on non-versioned libwhy-coq and why, thanks

-- 
why packaging