Processed: Re: [PATCH] Remove priority "extra", make all corresponding packages priority "optional"
Processing control commands:
> retitle -1 debian-policy: allow packages to depend on packages of lower priority
Bug #758234 [debian-policy] Remove priority "extra", make all corresponding packages priority "optional"
Changed Bug title to 'debian-policy: allow packages to depend on packages of lower priority' from 'Remove priority "extra", make all corresponding packages priority "optional"'
> clone -1 -2
Bug #758234 [debian-policy] debian-policy: allow packages to depend on packages of lower priority
Bug 758234 cloned as bug 759260
> retitle -2 Remove priority "extra", make all corresponding packages priority "optional"
Bug #759260 [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'
--
758234: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=758234
759260: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=759260
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: