Am 15.06.21 um 18:30 schrieb Artur T.:
Am 15.06.21 um 18:29 schrieb Sven Schreiber:
> 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.
Looks good to me, and the test runs fine. Shall I merge to master?
Best,
Artur