Closed gm10 closed 5 years ago
Adds support for the new default GRUB_TIMEOUT_STYLE in addition to the deprecated GRUB_HIDDEN_TIMEOUT.
Adds support for the new default GRUB_TIMEOUT_STYLE in addition to the deprecated GRUB_HIDDEN_TIMEOUT.