On Fri, 19 Jul 2019 at 11:43, Alan Mackenzie <acm@muc.de> wrote:

I think the following patch fixes them. Would you try it out, please,
and confirm to me that this does fix that bug, or tell me about any
further faults you see. Then, hopefully, we can finally close this bug.

Thanks!

Thank you! I plan to get some things done in C++ this weekend.

I haven't noticed any problems so far. If I do I'll let you know.