9 Nov
2023
9 Nov
'23
10:20 a.m.
On Thu Nov 9 10:20:23 2023 +0000, Michael Stefaniuc wrote:
I'm approving but going forward please avoid the floating point numeric literals ending just in a dot.\ Just append the 0; IMHO much more pleasant to read that way.\ E.g. `0.0` instead of just `0.`.
Updated the MR with these changes.