Processed: reassign 717586 to grub-common, forcibly merging 690538 717586

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 717586 grub-common
Bug #717586 [grub2-common] add /etc/default/grub option to disable submenus
Bug reassigned from package 'grub2-common' to 'grub-common'.
No longer marked as found in versions grub2/2.00-15.
Ignoring request to alter fixed versions of bug #717586 to the same values previously set
> forcemerge 690538 717586
Bug #690538 [grub-common] grub-common: Please make submenu creation optional or at least allow users to disable it easily
Bug #717586 [grub-common] add /etc/default/grub option to disable submenus
Set Bug forwarded-to-address to 'https://savannah.gnu.org/bugs/?36850'.
Severity set to 'wishlist' from 'normal'
Marked as found in versions grub2/2.00-7.
Merged 690538 717586
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
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