I suspect this is actually a duplicate of this bug report:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/571893
I would however prefer the devs decide.
I suspect this is actually a duplicate of this bug report:
https:/ /bugs.launchpad .net/ubuntu/ +source/ grub2/+ bug/571893
I would however prefer the devs decide.