On 2023-02-05 20:07 -0400, David Bremner wrote:
> Sven Joachim <svenjoac@gmx.de> writes:
>
>>
>> I have attached a patch which drops the extra second slash.
>>
>> Cheers,
>> Sven
>
> Thanks Sven, I'll most likely wait until after the freeze to apply that.
Just a reminder that the freeze is over and you can safely do that now.
Cheers,
Sven