Processed: unmerging 907665
Processing commands for control@bugs.debian.org:
> unmerge 907665
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
Disconnected #907665 from all other report(s).
> 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: