Hi, On Sun, Nov 10, 2024 at 09:25:49PM +0100, Marc Haber wrote: > Would you might take this upstream yourself? I think that discussion is > better directly taken wiht upstream.
Did you discuss this upstream in the mean time? What was the result of the discussion? Greetings Marc
