24 Feb
2025
24 Feb
'25
5:51 p.m.
On Mon Feb 24 17:51:02 2025 +0000, Matteo Bruni wrote:
There are some very long lines here, in general let's try to stay under 100-120 columns (no specific hard limit, more of a rough guideline).
Should be fixed now.