Comment 28 for bug 1258597

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

Same problem in ubuntu 15.10