On Thu, 27 Jun 2019 at 12:11, Alan Mackenzie <acm@muc.de> wrote:

> There are more than just that one coding error in this area, and I'd
> like to fix them all at the same time.  In the meantime, please try out
> this patch, and let me know how well it works.  Thanks!
>

That seems to work just fine, thank you. I'll keep it in my local clone of
the master branch for the time being.
Thank you.