Am Fri, Jun 23, 2023 at 09:59:45PM +0200 schrieb Anton Gladky:
> Thank you all for your replies!
> 
> @Moritz, could you please create an issue with a
> the possible proposal, how it should look like?

Sure, filed as #1039606

Thanks,
        Moritz

Reply via email to