On Thu, Jan 11, 2018 at 11:00:01AM +0000, Yves Rutschle wrote: > I hope to get it all fixed in the coming hours. I pushed code which works for me, and should be equivalent to was was in the previous commit except for the error handling which should be fine now. Thanks for the reports! Y.