Comment 4 for bug 1947468

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

After you edit /etc/default/grub you also need to run:

  sudo update-grub