From: Michael Prokop <mika@grml.org>
Date: Tue, 9 Jun 2020 20:21:52 +0000 (+0200)
Subject: debian: move priority from extra to optional
X-Git-Tag: v0.8~1
X-Git-Url: http://git.grml.org/?p=grml-paste.git;a=commitdiff_plain;h=efd707e6a88870b435d6c0743abc2097f0bab662

debian: move priority from extra to optional

Make lintian happy (priority-extra-is-replaced-by-priority-optional)
---

diff --git a/debian/control b/debian/control
index be1f1c9..1a228e3 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,6 @@
 Source: grml-paste
 Section: grml
-Priority: extra
+Priority: optional
 Maintainer: Michael Prokop <mika@grml.org>
 Build-Depends:
  debhelper-compat (= 12),