Ubuntu
grub2 package

  1. Bug #478035
  2. Comment #4

Comment 4 for bug 478035

Revision history for this message
Marc G. (marc-gu) wrote :

The second patch (the "simple" one) also works on my system. For information, I had to do an "update-grub" after patching the file so that the modification take effect.

thanks.