Changed to urgency high, to make a quick upload so as to not delay the testing

migration too much.

diff --git a/debian/changelog b/debian/changelog
index b2942b57f9e356e85450fb784a1882920e40c298..c579ab3458435bb9e1481f183993d339eb2c00f8 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-ocaml (3.07-7) unstable; urgency=low
+ocaml (3.07-7) unstable; urgency=high
 
   * Fixed hppa build problem : hppa needs doubleword aligned doubles.
   * Removed .dpatch extensions for debian/patches/00list, should enable to