Re: [SeaBIOS] [PATCH v4 0/2] boot: switch default menu key to ESC

[Kevin O'Connor]

On Thu, Mar 12, 2015 at 06:12:22PM +0100, Paolo Bonzini wrote:
> Patch 1 applies a small improvement to user experience, as suggested
> by Matt DeVillier.  Then patch 2 makes the switch.
>
> v3->v4: also update docs/Runtime_config.md.
>
> Paolo Bonzini (2):
>   boot.c: delay exiting boot if menu key is ESC
>   boot: switch default menu key to ESC

Thanks, I applied both patches.

-Kevin