Processing commands for cont...@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 ow...@bugs.debian.org with problems
