Comment 18 for bug 1258597

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

hmm...

root@build:/boot/grub# grep -r GRUB_HIDDEN *
root@build:/boot/grub#

No sign of GRUB_HIDDEN ?