[instant] 05/06: 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 tag experimental/2017.2.0.0-1exp1
in repository instant.

commit 124e36b2d1c5b2ebf572fb0ac2e5ff1a2b5bdff3
Author: Drew Parsons <dparsons at debian.org>
Date:   Sat Jan 20 00:10:38 2018 +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 ba13d7d..3d24184 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,6 +5,7 @@ instant (2017.2.0.0-1exp1) UNRELEASED; urgency=medium
       a mislabelled beta release.
   * Standards-Version: 4.1.3
   * debhelper compatibility level 11
+  * debian/control Priority: optional not extra
 
  -- Drew Parsons <dparsons at debian.org>  Sat, 20 Jan 2018 00:02:29 +0800
 
diff --git a/debian/control b/debian/control
index 68a5caa..8b8e240 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,6 @@
 Source: instant
 Section: python
-Priority: extra
+Priority: optional
 Maintainer: Debian Science Team <debian-science-maintainers at lists.alioth.debian.org>
 Uploaders: Johannes Ring <johannr at simula.no>, Drew Parsons <dparsons at debian.org>
 Build-Depends:

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