From 59ccc9b7f698a721ec0f71b95fa94e8577dcbe8a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jeremy=20B=C3=ADcha?= <jbicha@debian.org>
Date: Fri, 5 Dec 2025 20:58:56 -0500
Subject: [PATCH] Remove unnecessary Priority: optional field

no longer recommended in unreleased Debian Policy
and no longer a warning in unreleased lintian
---
 debian/control | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/control b/debian/control
index 873cb9c5..252db4b5 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,5 @@
 Source: gnome-shell-extensions
 Section: gnome
-Priority: optional
 Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
 Uploaders: Iain Lane <laney@debian.org>, Jeremy Bícha <jbicha@ubuntu.com>, Laurent Bigonville <bigon@debian.org>, Marco Trevisan (Treviño) <marco@ubuntu.com>
 Build-Depends: debhelper-compat (= 13),