Processing commands for cont...@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 ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-forwarded-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
