Processed: [grub-common] request reopen, neither GRUB_DISABLE_SUBMENU=true nor GRUB_ENABLE_SUBMENUS=false works

[Debian Bug Tracking System]

Processing control commands:

> reopen 690538 !
Bug #690538 {Done: Colin Watson <cjwatson at debian.org>} [grub-common] grub-common: Please make submenu creation optional or at least allow users to disable it easily
Bug #717586 {Done: Colin Watson <cjwatson at debian.org>} [grub-common] add /etc/default/grub option to disable submenus
'reopen' may be inappropriate when a bug has been closed with a version;
all fixed versions will be cleared, and you may need to re-add them.
Bug reopened
Changed Bug submitter to 'Jens Stomber <jens.stomber at gmx.de>' from 'Axel Beckert <abe at debian.org>'
No longer marked as fixed in versions grub2/2.00+20131208-1.
No longer marked as fixed in versions grub2/2.00+20131208-1.

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