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

Bas Couwenberg sebastic at debian.org
Sun Sep 24 11:11:11 UTC 2017


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

sebastic pushed a commit to branch master
in repository mapserver.

commit 7be96ef050109eb0a01a661310cfd2cfea0442f3
Author: Bas Couwenberg <sebastic at xs4all.nl>
Date:   Sun Sep 24 13:10:43 2017 +0200

    Change priority from extra to optional.
---
 debian/changelog | 6 ++++++
 debian/control   | 1 -
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 72dcdce..7b7a74c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+mapserver (7.0.6-3) UNRELEASED; urgency=medium
+
+  * Change priority from extra to optional.
+
+ -- Bas Couwenberg <sebastic at debian.org>  Sun, 24 Sep 2017 13:10:41 +0200
+
 mapserver (7.0.6-2) unstable; urgency=medium
 
   * Fix SOURCE_DATE_EPOCH use.
diff --git a/debian/control b/debian/control
index aa952c5..ed10b87 100644
--- a/debian/control
+++ b/debian/control
@@ -75,7 +75,6 @@ Description: Shared library for MapServer
 Package: libmapserver-dbg
 Architecture: any
 Section: debug
-Priority: extra
 Depends: libmapserver2 (= ${binary:Version}),
          ${misc:Depends}
 Breaks: libmapserver1-dbg (<< 7.0.0~)

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



More information about the Pkg-grass-devel mailing list