[mumps] 03/03: debian/control: Priority: optional not extra

[Drew Parsons]

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

dparsons pushed a commit to branch experimental
in repository mumps.

commit 31967f6dad72f248e39ac8a2a99b44638da5f14b
Author: Drew Parsons <dparsons at debian.org>
Date:   Wed Nov 29 21:31:38 2017 +0800

    debian/control: Priority: optional not extra
---
 debian/changelog | 1 +
 debian/control   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index f70f55f..6496fab 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,6 +7,7 @@ mumps (5.1.2-1exp1) UNRELEASED; urgency=medium
   * Standards-Version: 4.1.1
   * debian/rules: create ./lib at build time, needed for build and
     present in upstream tarball, but not imported by gbp. 
+  * debian/control: Priority: optional not extra
 
  -- Drew Parsons <dparsons at debian.org>  Wed, 15 Nov 2017 15:00:03 +0800
 
diff --git a/debian/control b/debian/control
index 9ddc2eb..0330358 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,6 @@
 Source: mumps
 Section: devel
-Priority: extra
+Priority: optional
 Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
 Uploaders:
  "Adam C. Powell,

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/mumps.git