Oct. 25, 2018
4:12 a.m.
Please try the attached patch, which I installed into the development version on GitHub. Although this fixes the problem for my tests, I'd also like to know whether it fixes the problem for yours.