2 Oct
2023
2 Oct
'23
8:44 p.m.
On Mon Oct 2 20:43:29 2023 +0000, Matteo Bruni wrote:
I see, this is very broken, or very unexpected at least. Maybe a small comment here might be nice (if you like, I don't feel strongly about it). Same for floor() in the next patch.
Done.