Processed: reassign 870899 to src:developers-reference, forcibly merging 907665 870899
Processing commands for control@bugs.debian.org:
> reassign 870899 src:developers-reference
Bug #870899 [developers-reference] devref: priority:extra is deprecated, please stops suggesting it
Bug reassigned from package 'developers-reference' to 'src:developers-reference'.
Ignoring request to alter found versions of bug #870899 to the same values previously set
Ignoring request to alter fixed versions of bug #870899 to the same values previously set
> forcemerge 907665 870899
Bug #907665 [src:developers-reference] developers-reference: Section 6.7.9 about dbg packages outdated
Bug #870899 [src:developers-reference] devref: priority:extra is deprecated, please stops suggesting it
Added tag(s) patch.
Merged 870899 907665
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
870899: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=870899
907665: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907665
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: