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

[Axel Beckert]

Control: tag -1 + upstream

Hi Colin,

Colin Watson wrote:
> On Sat, Aug 31, 2013 at 05:40:23PM +0200, eric fischer wrote:
> > whats wrong? This BUG exists for nearly 11 months now, the fix isn't
> > brain crunching at all and done with 6 lines of shell scripting.
> > 
> > Might any of the maintainers take over that task before the bug sees
> > it's first birthday maybe?
> 
> Thanks for your patch.  While it looks reasonable at a quick glance, I
> don't think it's a good idea to add new configuration variable names in
> a Debian patch (consider what would happen if it was later introduced
> upstream with a different name), but feel free to send this patch
> upstream (grub-devel at gnu.org) for discussion there.

Thanks for the comments. Tagging accordingly.

		Regards, Axel
-- 
 ,''`.  |  Axel Beckert <abe at debian.org>, http://people.debian.org/~abe/
: :' :  |  Debian Developer, ftp.ch.debian.org Admin
`. `'   |  1024D: F067 EA27 26B9 C3FC 1486  202E C09E 1D89 9593 0EDE
  `-    |  4096R: 2517 B724 C5F6 CA99 5329  6E61 2FF9 CD59 6126 16B5