Richard Stallman <rms@gnu.org> writes:
>     Below is an updated version of the patch without such low-level
>     changes.  If people find no problems, I'll install it on the CVS
>     trunk.
>
> Ok, and thanks.
>
> When you do it, could you update etc/NEWS and the Emacs Manual?

Yes, I'll do that.

-- 
Károly