[opengm] 01/01: Priority optional instead of extra

[Andreas Tille]

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

tille pushed a commit to branch debian/sid
in repository opengm.

commit cad786d3075426b72b38d32e23cf3073ead9a233
Author: Andreas Tille <tille at debian.org>
Date:   Mon Nov 2 09:35:42 2015 +0100

    Priority optional instead of extra
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 13ea231..fcd42b8 100644
--- a/debian/control
+++ b/debian/control
@@ -2,7 +2,7 @@ Source: opengm
 Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
 Uploaders: Ghislain Antony Vaillant <ghisvail at gmail.com>
 Section: science
-Priority: extra
+Priority: optional
 Build-Depends: cmake,
                debhelper (>= 9),
                dh-python,

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