The following commit has been merged in the master branch:
commit 6c73a70de786637c8c6c7f407e12704652ea4f3d
Author: Mehdi Dogguy <me...@debian.org>
Date:   Mon Jan 16 18:12:02 2012 +0100

    Setting urgency to "high" to fix those issues.

diff --git a/debian/changelog b/debian/changelog
index 37351e3..3d8801e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-why (2.30+dfsg-3) unstable; urgency=low
+why (2.30+dfsg-3) unstable; urgency=high
 
   * Fix 0002-Mark-alt-ergo-0.93-as-compatible.patch
     - Adapt version_regexp because "alt-ergo -version" changed.
@@ -7,6 +7,7 @@ why (2.30+dfsg-3) unstable; urgency=low
   * Add 0007-Replace-caduceus-invocation-by-Frama-C.patch
     - Caduceus is gone. We use Frama-C instead.
     - Adding Frama-C to Why's dependencies.
+  * Setting urgency to "high" to fix those issues.
 
  -- Mehdi Dogguy <me...@debian.org>  Mon, 16 Jan 2012 18:19:38 +0100
 

-- 
why packaging

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

Reply via email to