The following commit has been merged in the master branch:
commit 7d13e4bd9d51e22e2142998305f8b9003d9964af
Author: Stephane Glondu <st...@glondu.net>
Date:   Thu Nov 3 07:49:14 2011 +0100

    Set Priority to optional

diff --git a/debian/control b/debian/control
index e800e49..259a8ed 100644
--- a/debian/control
+++ b/debian/control
@@ -1,5 +1,5 @@
 Source: ssreflect
-Priority: extra
+Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
 Uploaders: St├ęphane Glondu <glo...@debian.org>
 Build-Depends:

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