On 2023-02-05 20:07 -0400, David Bremner wrote: > Sven Joachim <svenj...@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
