Comment 7 for bug 60423

Revision history for this message
Matt Zimmerman (mdz) wrote :

What should happen is that the menu should function as normal, offering the user the chance to open another shell, run grub, reboot, etc.