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

[Colin Watson]

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.

You might find you get a better reception if you keep the swearing and
sarcasm to a minimum when sending the patch upstream, though.

Cheers,

-- 
Colin Watson                                       [cjwatson at debian.org]