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.