Processed: [summary] Bug#759260: removal of the Extra priority.
Processing control commands:
> reopen -1
Bug #759260 {Done: Gerrit Pape <pape@dbnbgs.smarden.org>} [debian-policy] Remove priority "extra", make all corresponding packages priority "optional"
Bug reopened
Ignoring request to alter fixed versions of bug #759260 to the same values previously set
> tag -1 + patch
Bug #759260 [debian-policy] Remove priority "extra", make all corresponding packages priority "optional"
Added tag(s) patch.
--
759260: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=759260
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: