[ஞாயிறு ஜூலை 10, 2022] Visuwesh wrote:

> [ஞாயிறு ஜூலை 10, 2022] Eli Zaretskii wrote:
>
> Updated patch attached.
>

I managed to miss a comment, sorry about that.  Now fixed in attached
patch.