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.