Processed: Re: Bug#713886: grub-common: grub-mkconfig empties grub.cfg; old content not saved; system remains unbootable.

Mon Jun 24 09:03:06 UTC 2013

Processing control commands:

> retitle -1 grub-common: grub-script-check should complain about configuration files with no useful content
Bug #713886 [grub-common] grub-common: grub-mkconfig empties grub.cfg; old content not saved; system remains unbootable.
Changed Bug title to 'grub-common: grub-script-check should complain about configuration files with no useful content' from 'grub-common: grub-mkconfig empties grub.cfg; old content not saved; system remains unbootable.'
> severity -1 important
Bug #713886 [grub-common] grub-common: grub-script-check should complain about configuration files with no useful content
Severity set to 'important' from 'critical'

-- 
713886: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=713886
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems