Subject: Re: bug#62502: 29.0.60; Docstring of `read-char-choice'

From: Arash Esbati <[email-masked]>
Date: Wed, 29 Mar 2023 09:26:36 +0200

Eli Zaretskii <[email-masked]> writes:

> Since the state of documentation of this and related
> functions/variables was unsatisfactory, I ended up fixing it, and as
> part of that also mentioned what happens with INHIBIT-KEYBOARD-QUIT.

Yes, the documentation is in much better shape now.  Thanks for fixing
this.  I'm closing this report.

Best, Arash