From b1bf01ec648ab640c69ccc8aeff777831e886c7c Mon Sep 17 00:00:00 2001 From: Michael Prokop Date: Fri, 17 Jul 2020 21:14:04 +0200 Subject: [PATCH] debian: switch Priority from extra to optional Fixes lintian warning priority-extra-is-replaced-by-priority-optional --- debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 Build-Depends: debhelper-compat (= 12), -- 2.1.4