16 Feb
2022
16 Feb
'22
9:01 a.m.
Il 15/02/22 23:32, Alyssa Rosenzweig ha scritto:
I'd do the oneliner changing it to 5 and be done with it. That being said, we have plenty of examples of doing this both ways, so whatever makes people happy.
Excellent, that's the patch I wrote originally :-)
Dropping this patch, unless Angelo (or someone else) strongly objects.
Concretely measuring would be great, but I have no strong objections about perhaps delaying this research to another (near or far) moment. Let's drop this for now.