On 2019-11-03 08:41, Tobias C. Berner wrote: > > Do you want it backed out again? No, I'm just saying that it is broken again. TF is a behemoth. It needs to be fixed somehow. I'll try patching the place that the error message points out. Yuri