diff options
| author | Sandro Knauß <hefee@debian.org> | 2024-12-02 21:20:30 +0000 |
|---|---|---|
| committer | Sandro Knauß <hefee@debian.org> | 2024-12-02 23:05:00 +0100 |
| commit | cf49088c18424942612f0e30c2985ae2350074b9 (patch) | |
| tree | 5e0337a58692a5193d63a99cca15876b997f4656 | |
| parent | 63707428f2414d0371010a187955ec0421dfcb05 (diff) | |
| download | keyringer-cf49088c18424942612f0e30c2985ae2350074b9.tar.gz keyringer-cf49088c18424942612f0e30c2985ae2350074b9.tar.bz2 | |
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
| -rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index ae3ec02..c209e03 100644 --- 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 |