From b970d5e0e1dda3c205778480d7875f602bc12730 Mon Sep 17 00:00:00 2001
From: Silver Platter <svp-bot@autistici.org>
Date: Sat, 10 Jul 2021 14:44:21 +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 637a5e9..2a362ec 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,6 @@
 Source: float-debug-proxy
 Section: net
-Priority: extra
+Priority: optional
 Maintainer: Autistici/Inventati <debian@autistici.org>
 Build-Depends: debhelper-compat (= 12), golang-any (>= 1.11), dh-golang
 Standards-Version: 3.9.6
-- 
GitLab