2018-07-19 16:20 GMT+03:00 Eli Zaretskii <eliz@gnu.org>:

Thanks.  Just stabbing in the dark here, but does the patch below
help?


Yes. I tested the patch and can't reproduce the problem while I can reproduce it without your patch.