Bug#758234: [PATCH] Remove priority "extra", make all corresponding packages priority "optional"
Control: retitle -1 debian-policy: allow packages to depend on packages of lower priority
Control: clone -1 -2
Control: retitle -2 Remove priority "extra", make all corresponding packages priority "optional"
Gerrit Pape <pape@dbnbgs.smarden.org> writes:
> Since discussion on this topic seems to have stopped, I suggest this
> patch to remove the priority "extra" for Debian packages.
It would be nice if you were a bit more patient (or just use a different
bug for a different issue rather than taking over an existing
one).
Ansgar
Reply to: