Eli Zaretskii wrote:

> OK, but now I'm confused regarding which change(s) to install.  This
> discussion includes 3 changes, so which ones are proposed and
> approved?  James, would you please post a single consolidated patch
> you think should be installed, with the appropriate commit log
> message?
>
> Thanks.

Attached: