From dd3bb571fb73540a41d766151941bc4d6c1777cb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Wed, 8 Nov 2017 22:15:16 +0100 Subject: debian/control: Replace Priority extra with optional --- debian/changelog | 2 ++ debian/control | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index c595f5c..4c34b8f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -9,6 +9,8 @@ xsd (4.0.0-7) UNRELEASED; urgency=medium * New README.source to explain the branching model used. * debian/changelog: - Remove trailing whitespace. + * debian/control: + - Replace Priority extra with optional. * debian/watch: - Switch to secure URI. * Declare compliance with Debian Policy 4.1.1. (No changes needed). diff --git a/debian/control b/debian/control index 5088ccb..37f336c 100644 --- a/debian/control +++ b/debian/control @@ -1,6 +1,6 @@ Source: xsd Section: devel -Priority: extra +Priority: optional Maintainer: Jörg Frings-Fürst Build-Depends: debhelper (>= 10), -- cgit v1.2.3