commit 116f262ddce57d210b68003a7c751804001c30d4
Author: Alexandre Detiste <alexandre.detiste@gmail.com>
Date: Fri Oct 9 10:41:02 2026 +0100
Remove redundant Priority: optional from source stanza.
Changes-By: lintian-brush
Fixes: lintian: source: redundant-priority-optional-field
See-also: https://lintian.debian.org/tags/redundant-priority-optional-field.html
Among the 2 debian patches available in version 3.7.4-1.1 of the package, we noticed the following issues: