[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.3pl1-5-1-g7d13e4b

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7d13e4bd9d51e22e2142998305f8b9003d9964af
Author: Stephane Glondu <steph at 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-maint at lists.debian.org>
 Uploaders: Stéphane Glondu <glondu at debian.org>
 Build-Depends:

-- 
ssreflect packaging