debian/control: replace priority "extra" with "optional"
authorAntonio Ospite <ao2@ao2.it>
Thu, 1 Mar 2018 23:25:38 +0000 (00:25 +0100)
committerAntonio Ospite <ao2@ao2.it>
Thu, 1 Mar 2018 23:25:38 +0000 (00:25 +0100)
commitfdcf5f9fe34e1a777501f217fc014ff17433737f
treeab8e735d10bd4e2959ecfb77e6a5586826072def
parent66a979e5c503ade59cb356add6510272b7fa29e0
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:
debian/control