control

3 years ago

Change priority extra to priority optional. · 8ec11896

silver-platter authored 3 years ago

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

8ec11896

History

Change priority extra to priority optional.

silver-platter authored 3 years ago

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