3 Feb
2023
3 Feb
'23
8:48 p.m.
On Fri Feb 3 19:35:22 2023 +0000, Rémi Bernon wrote:
You can't just skip it, it makes it incorrect. It needs to be written differently.
Oh, hmm, you're right, I hadn't looked at how that was done.