Processing commands for cont...@bugs.debian.org: > forcemerge 879863 870899 Bug #879863 [src:developers-reference] developer-reference conflicts with Policy on priority "extra" vs "optional" Bug #870899 [src:developers-reference] devref: priority:extra is deprecated, please stops suggesting it Severity set to 'important' from 'normal' Merged 870899 879863 > 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 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
