13 Feb
2023
13 Feb
'23
6:11 p.m.
On Fri Feb 10 13:52:26 2023 +0000, Rémi Bernon wrote:
Same here, I don't think you need this first if.
See the comment above.