Grub Error in F23 Release? Grub stops in OS selection for Windows for ever.

[Richard Ryniker]

When you change from the GRUB default boot item, the timer stops and no
default boot occurs.  You must use a key to tell GRUB to boot the current
selection.