[gpstk] 01/02: Change priority from extra to optional.

[Bas Couwenberg]

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

sebastic pushed a commit to branch master
in repository gpstk.

commit 1852fc94108c9c395d1e105ebf8331e3af9133a2
Author: Bas Couwenberg <sebastic at xs4all.nl>
Date:   Sun Sep 24 13:01:16 2017 +0200

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

diff --git a/debian/control b/debian/control
index 4903291..81ced5a 100644
--- a/debian/control
+++ b/debian/control
@@ -2,7 +2,7 @@ Source: gpstk
 Maintainer: Debian GIS Project <pkg-grass-devel at lists.alioth.debian.org>
 Uploaders: Massimo Di Stefano <epiesasha at me.com>
 Section: science
-Priority: extra
+Priority: optional
 Build-Depends: cmake (>= 2.8),
                debhelper (>= 9)
 Standards-Version: 3.9.8

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