grub

  1. Bug #1905590
  2. Comment #2

Comment 2 for bug 1905590

Revision history for this message
Julian Andres Klode (juliank) wrote : Re: Grub menu should be easier to reach

You can press any key, the common suggestion is to press the Shift key.