Comment 6 for bug 1258597

Revision history for this message
Ivan Kozik (ludios) wrote : Re: Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.

Sorry, ignore my last comment, that looks like an unrelated issue that went away by coincidence.