On Sat, Mar 14, 2020 at 04:36:41PM +0100, Jürgen Spitzmüller wrote: > Am Samstag, den 14.03.2020, 16:22 +0100 schrieb Enrico Forestieri: > > Please, try the attached patch. > > This fixes the problem for me. I have extended the patch to some other obvious cases and committed it. Riki, I think this (bd6d09fc) should also go to stable. -- Enrico