Le 20/11/2020 à 15:05, Pavel Sanda a écrit : > On Fri, Nov 20, 2020 at 02:39:24PM +0100, Jean-Marc Lasgouttes wrote: >> Ideas? > > Can't reproduce. Did you build from fresh tree? Pavel Yes. I see it even without the commit I just pushed (I thought it was it at first). JMarc