Processing commands for cont...@bugs.debian.org: > tags 907665 - pending Bug #907665 [src:developers-reference] developers-reference: Section 6.7.9 about dbg packages outdated Removed tag(s) pending. > forcemerge 879863 870899 Bug #879863 [developers-reference] developer-reference conflicts with Policy on priority "extra" vs "optional" Unable to merge bugs because: package of #870899 is 'src:developers-reference' not 'developers-reference' Failed to forcibly merge 879863: Did not alter merged bugs.
> thanks Stopping processing here. Please contact me if you need assistance. -- 870899: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=870899 879863: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=879863 907665: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907665 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
