Le 22/07/2022 à 20:08, Jean-Marc Lasgouttes a écrit : > Le 21/07/2022 à 08:31, Kornel Benko a écrit : >> Ouch! Now I see it too. > > FWIW, there has been progress going on at #11535. The patches have been applied now. JMarc