Processed: Re: grub: Yes, we do want the option not to have savedefault

Debian Bug Tracking System owner at bugs.debian.org
Thu Apr 20 22:19:18 UTC 2006

Previous message: Bug#156888: grub: Yes, we do want the option not to have savedefault
Next message: Processed: severity inflation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Processing commands for control at bugs.debian.org:

> tag 156888 patch
Bug#156888: savedefault can be confusing
There were no tags set.
Tags added: patch

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Previous message: Bug#156888: grub: Yes, we do want the option not to have savedefault
Next message: Processed: severity inflation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-grub-devel mailing list