Processed: reassign 879863 to src:developers-reference
Processing commands for control@bugs.debian.org:
> reassign 879863 src:developers-reference
Bug #879863 [developers-reference] developer-reference conflicts with Policy on priority "extra" vs "optional"
Bug reassigned from package 'developers-reference' to 'src:developers-reference'.
Ignoring request to alter found versions of bug #879863 to the same values previously set
Ignoring request to alter fixed versions of bug #879863 to the same values previously set
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
879863: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=879863
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: