From 371c25b88b37f6a97d4b17b836b160ea1415ec2f Mon Sep 17 00:00:00 2001
From: Silver Platter <svp-bot@autistici.org>
Date: Sat, 10 Jul 2021 14:45:40 +0000
Subject: [PATCH] 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
---
debian/control | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/debian/control b/debian/control
index 8b2865f..24e3599 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,6 @@
Source: logcat
Section: devel
-Priority: extra
+Priority: optional
Maintainer: Autistici/Inventati <debian@autistici.org>
Build-Depends: debhelper-compat (= 12),
dh-golang,
--
GitLab