Processed: [PATCH] Remove priority "extra", make all corresponding packages priority "optional"
Processing commands for control@bugs.debian.org:
> retitle 758234 Remove priority "extra", make all corresponding packages priority "optional"
Bug #758234 [debian-policy] debian-policy: allow packages to depend on packages of lower priority
Changed Bug title to 'Remove priority "extra", make all corresponding packages priority "optional"' from 'debian-policy: allow packages to depend on packages of lower priority'
> quit
Stopping processing here.
Please contact me if you need assistance.
--
758234: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=758234
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: