26 May
2023
26 May
'23
9:30 a.m.
Is there a chance for this to be accepted? I think many people have a similar local change, and several people expressed interest here.
There's diverging opinion on how and when to then print the information but at least keeping local changes for that wouldn't cause such a large recompilation overhead.