[plm] 08/10: Change priority to extra since we depend on an extra package.

[Martin Quinson]

This is an automated email from the git hooks/post-receive script.

mquinson pushed a commit to branch debian-debian
in repository plm.

commit fc89e2892a4bc58ff722be54a52b0ad22cb82211
Author: Martin Quinson <martin.quinson at loria.fr>
Date:   Tue Oct 1 16:54:49 2013 +0200

    Change priority to extra since we depend on an extra package.
---
 debian/changelog |    7 +++++++
 debian/control   |    2 +-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 970c69b..eba5b44 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+plm (2.2.7+repack-2) UNRELEASED; urgency=low
+
+  * Change priority to extra since we depend on an extra package.
+    Cf. policy, section 2.5.
+
+ -- Martin Quinson <mquinson at debian.org>  Tue, 01 Oct 2013 16:54:01 +0200
+
 plm (2.2.7+repack-1) unstable; urgency=low
 
   * New upstream release.
diff --git a/debian/control b/debian/control
index 68bc1c7..e0ca2ba 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,6 @@
 Source: plm
 Section: java
-Priority: optional
+Priority: extra
 Maintainer: Martin Quinson <mquinson at debian.org>
 Build-Depends: debhelper (>> 8), javahelper (>= 0.32), ant, quilt
 Build-Depends-Indep: openjdk-7-jdk, libmiglayout-java, libjsyntaxpane-java,

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/plm.git