Committed, thanks.
On 04.01.2013 08:59, Andrey Borzenkov wrote:

> diff --git a/ChangeLog b/ChangeLog
> index a28a1f7..386f4b3 100644
> --- a/ChangeLog
> +++ b/ChangeLog
> @@ -1,3 +1,8 @@
> +2013-01-04  Andrey Borzenkov <arvidjaar@gmail.com>
> +
> +	* docs/grub.texi (Simple configuration): Clarify GRUB_HIDDEN_TIMEOUT
> +	is interrupted by ESC.
> +
>  2013-01-03  Vladimir Serbinenko  <phcoder@gmail.com>
>  
>  	* util/grub.d/10_kfreebsd.in: Correct the patch to zpool.cache as it's
> diff --git a/docs/grub.texi b/docs/grub.texi
> index e23cecc..958a123 100644
> --- a/docs/grub.texi
> +++ b/docs/grub.texi
> @@ -1201,11 +1201,12 @@ immediately without displaying the menu, or to @samp{-1} to wait
>  indefinitely.
>  
>  @item GRUB_HIDDEN_TIMEOUT
> -Wait this many seconds for a key to be pressed before displaying the menu.
> -If no key is pressed during that time, display the menu for the number of
> +Wait this many seconds for @key{ESC} to be pressed before displaying the menu.
> +If no @key{ESC} is pressed during that time, display the menu for the number of
>  seconds specified in GRUB_TIMEOUT before booting the default entry. We expect
>  that most people who use GRUB_HIDDEN_TIMEOUT will want to have GRUB_TIMEOUT set 
> -to @samp{0} so that the menu is not displayed at all unless a key is pressed.
> +to @samp{0} so that the menu is not displayed at all unless @key{ESC} is
> +pressed.
>  Unset by default.
>  
>  @item GRUB_HIDDEN_TIMEOUT_QUIET



-- 
Regards
Vladimir 'φ-coder/phcoder' Serbinenko