That workaround probably should read 'remove linux-image-kdump OR set #alternatives=false in /boot/grub/menu.list' ;-)
Nonetheless, good work. Thanks. -- [patch] update-grub is broken https://launchpad.net/bugs/73966 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
