Processed (with 1 errors): retitle 768221
Processing commands for control@bugs.debian.org:
> From: david@mcbf.net
Unknown command or malformed arguments to command.
> retitle 768221 ITA: grub-choose-default -- Control Grub Default through a GUI
Bug #768221 [wnpp] O: grub-choose-default -- Control Grub Default through a GUI
Changed Bug title to 'ITA: grub-choose-default -- Control Grub Default through a GUI' from 'O: grub-choose-default -- Control Grub Default through a GUI'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
768221: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=768221
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: