actually this is an old 4 digit bug: #8497 https://launchpad.net/distros/ubuntu/+source/grub/+bug/8497/
actually this is an old 4 digit bug: /launchpad. net/distros/ ubuntu/ +source/ grub/+bug/ 8497/
#8497
https:/