[Pkg-wmaker-commits] [wmix] 04/18: debian/control: Switch priority to optional.

[Doug Torrance]

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

dtorrance-guest pushed a commit to branch master
in repository wmix.

commit d75ec3b5ca7649738cc4999b17301ef88dc51d3c
Author: Doug Torrance <dtorrance at piedmont.edu>
Date:   Fri Sep 29 06:50:53 2017 -0400

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

diff --git a/debian/control b/debian/control
index 7b162e1..d986c15 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,6 @@
 Source: wmix
 Section: x11
-Priority: extra
+Priority: optional
 Build-Depends: cdbs (>= 0.2.4),
                debhelper (>= 10),
                libx11-dev,

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