From: Antonio Ospite Date: Thu, 1 Mar 2018 23:25:38 +0000 (+0100) Subject: debian/control: replace priority "extra" with "optional" X-Git-Tag: debian/0.1.7-1~16 X-Git-Url: https://git.ao2.it/libam7xxx.git/commitdiff_plain/fdcf5f9fe34e1a777501f217fc014ff17433737f?hp=fdcf5f9fe34e1a777501f217fc014ff17433737f debian/control: replace priority "extra" with "optional" This fixes the following lintian warning: W: libam7xxx-dev: priority-extra-is-replaced-by-priority-optional N: N: Since Debian Policy version 4.0.1, the priority extra has been N: deprecated. N: N: Please update debian/control and replace all instances of Priority: N: extra with Priority: optional. N: N: Refer to Debian Policy Manual section 2.5 (Priorities) for details. N: N: Severity: minor, Certainty: certain N: N: Check: fields, Type: binary, udeb, source N: ---