Mon, 10 Jun 2019 10:53:48 +0200 [pkg] Specify priority “optional” instead of the obsolete “extra”
Jérémy Bobbio <jeremy.bobbio@irq7.fr> [Mon, 10 Jun 2019 10:53:48 +0200] rev 12645
[pkg] Specify priority “optional” instead of the obsolete “extra” Quoting Lintian, “Since Debian Policy version 4.0.1, the priority extra has been deprecated.” So let's use “optional” instead.
(0) -10000 -3000 -1000 -300 -100 -30 -10 -1 +1 +10 +30 +100 tip