Am 15.06.2021 um 18:24 schrieb Riccardo (Jack) Lucchetti:
On Tue, 15 Jun 2021, Sven Schreiber wrote:
>> If you like it, feel free to merge back into master.
>
> I'd rather leave that to those who know how to run the relevant test
> script for this case, and so forth.
In short, Artur ;)
Well, of course you could merge it yourself as well. I just meant that
I'm neither the code author nor am I in the position to test the code
after your changes. So I shouldn't decide on the merge, I think.
-s