tree e77b405af772442c57954780a92d750a9da1622c
parent 97e35aaba51cba078e490b8309f94f6188cb644b
author Davide Pesavento <davidepesa@gmail.com> 1650746491 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1650826567 -0400

Use `Priority: optional` and reorder some fields

`Priority: extra` is deprecated
https://www.debian.org/doc/debian-policy/ch-archive.html#s-priorities

Change-Id: I2cfa0432240452a8fdd5e0b4a2fb8b4c908db612