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 ae3ec023ce36dfb7ab806b6e6a8149fa2f9849d5..c209e0316aa3f2ea30bd21eb47a567937a27df95 100644 (file)
--- 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