31 Jan
2024
31 Jan
'24
4:33 p.m.
On Wed Jan 31 16:16:00 2024 +0000, Rémi Bernon wrote:
Please do that as soon as the structure is introduced, no need to change it later again then.
I meant to squash this. I think I just missed it.