diff options
author | Andrej Shadura <andrew.shadura@collabora.co.uk> | 2021-10-07 16:21:04 +0200 |
---|---|---|
committer | Andrej Shadura <andrew.shadura@collabora.co.uk> | 2021-10-07 16:26:54 +0200 |
commit | 910d77a2d09d4ea6f29da9486e2bbc7859a3465d (patch) | |
tree | 99168a83e774f688b162a780bffb36e82b84128a /debian/upstream | |
parent | 1421ffc0714c1905072f1c95943f9d8c274be806 (diff) |
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
Diffstat (limited to 'debian/upstream')
0 files changed, 0 insertions, 0 deletions