Processed: Re: Bug#690538: grub-common: Please make submenu creation optional or at least allow users to disable it easily

Debian Bug Tracking System owner at bugs.debian.org
Mon May 13 09:39:05 UTC 2013


Processing control commands:

> forwarded -1 https://savannah.gnu.org/bugs/?36850
Bug #690538 [grub-common] grub-common: Please make submenu creation optional or at least allow users to disable it easily
Set Bug forwarded-to-address to 'https://savannah.gnu.org/bugs/?36850'.

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



More information about the Pkg-grub-devel mailing list