From efd707e6a88870b435d6c0743abc2097f0bab662 Mon Sep 17 00:00:00 2001 From: Michael Prokop Date: Tue, 9 Jun 2020 22:21:52 +0200 Subject: [PATCH] debian: move priority from extra to optional Make lintian happy (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 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 Build-Depends: debhelper-compat (= 12), -- 2.1.4