Am Sonntag, dem 07.04.2024 um 19:34 +0200 schrieb Jean-Marc Lasgouttes: > This is now fixed in master at 89901123c579. Thanks, this also fixes the other, minor issue (CT related) I reported. -- Jürgen