From: Michael Prokop <mika@grml.org>
Date: Fri, 17 Jul 2020 19:14:04 +0000 (+0200)
Subject: debian: switch Priority from extra to optional
X-Git-Tag: v0.21.0~3
X-Git-Url: http://git.grml.org/?p=grml-live-grml.git;a=commitdiff_plain;h=b1bf01ec648ab640c69ccc8aeff777831e886c7c

debian: switch Priority from extra to optional

Fixes lintian warning priority-extra-is-replaced-by-priority-optional
---

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