Control: severity -1 important Hello, Samuel Thibault, le lun. 24 août 2015 18:00:40 +0200, a ecrit: > Screen DPI (at last!) gets bigger, and thus the font currently used by > grub becomes too small, making it very hard to read the boot menu. I now have a HiDPI display, and the font is now simply unreadable. Samuel