From: Sandro Knauß <hefee@debian.org>
Date: Mon, 2 Dec 2024 21:20:30 +0000 (+0000)
Subject: Change priority extra to priority optional.
X-Git-Tag: debian_keyringer_0.5.9-2~11
X-Git-Url: https://gitweb.fluxo.info/?a=commitdiff_plain;h=cf49088c18424942612f0e30c2985ae2350074b9;p=keyringer.git

Change priority extra to priority optional.

Changes-By: lintian-brush
Fixes: lintian: priority-extra-is-replaced-by-priority-optional
See-also: https://lintian.debian.org/tags/priority-extra-is-replaced-by-priority-optional.html
---

diff --git a/debian/control b/debian/control
index ae3ec02..c209e03 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,6 @@
 Source: keyringer
 Section: misc
-Priority: extra
+Priority: optional
 Maintainer: Silvio Rhatto <rhatto@riseup.net>
 Build-Depends: debhelper-compat (= 13)
 Standards-Version: 3.9.8