On Jun 17, 2025, at 7:30 AM, Eli Zaretskii <eliz@gnu.org> wrote:
Are you saying that the patch you sent... Fixes the problem for you and doesn't have any adverse effects, so I
can install it?