-
Jérémy Bobbio (Lunar) authored
Quoting Lintian, “Since Debian Policy version 4.0.1, the priority extra has been deprecated.” So let's use “optional” instead.
4ed5a9e45d19
To find the state of this project's repository at the time of any of these versions, check out the tags.