Processed: retitle 932431 to DDPO: hide Extra-Source-Only packages by default, add option to show them
Processing commands for control@bugs.debian.org:
> retitle 932431 DDPO: hide Extra-Source-Only packages by default, add option to show them
Bug #932431 [qa.debian.org] DDPO: hide Extra-Source-Only packages by default,
Changed Bug title to 'DDPO: hide Extra-Source-Only packages by default, add option to show them' from 'DDPO: hide Extra-Source-Only packages by default,'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
932431: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=932431
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: