Processed: retitle 768221 to O: grub-choose-default -- Control Grub Default through a GUI
Processing commands for control@bugs.debian.org:
> retitle 768221 O: grub-choose-default -- Control Grub Default through a GUI
Bug #768221 [wnpp] ITA: grub-choose-default -- Control Grub Default through a GUI
Changed Bug title to 'O: grub-choose-default -- Control Grub Default through a GUI' from 'ITA: 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: