[polybori] 11/13: Change package priority to optional.

[Tobias Hansen]

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

thansen pushed a commit to branch master
in repository polybori.

commit 265e50e1bd95e99ada3dc42f12433d0c4e040589
Author: Tobias Hansen <thansen at debian.org>
Date:   Tue Oct 24 23:55:45 2017 +0000

    Change package priority to optional.
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 71eb61d..6eab49b 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,7 @@ Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.
 Uploaders: Tobias Hansen <thansen at debian.org>,
            Julien Puydt <julien.puydt at laposte.net>
 Section: math
-Priority: extra
+Priority: optional
 Build-Depends: debhelper (>= 9),
                dh-autoreconf,
                libboost-dev,

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