On 11/25/2012 07:18 PM, Michael Gilbert wrote:
On Sun, Nov 25, 2012 at 1:02 PM, Bart-Jan Vrielink wrote:That is grub bug #661789.Looks like it is. Anyone knows a workaround?Yes. Take a look at the merged bug reports. Best wishes, Mike
Thanks. I've applied that patch and now everything is working fine (I'm in fact typing this email on my new laptop).