From dd3bb571fb73540a41d766151941bc4d6c1777cb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= <debian@jff-webhosting.net>
Date: Wed, 8 Nov 2017 22:15:16 +0100
Subject: debian/control: Replace Priority extra with optional

---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debian/control')

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 <debian@jff.email>
 Build-Depends:
  debhelper (>= 10),
-- 
cgit v1.2.3