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.
