9 Nov
2023
9 Nov
'23
9:14 a.m.
On Wed Nov 8 23:51:26 2023 +0000, Rémi Bernon wrote:
Just a nit but I think we should take the habit of always adding a trailing comma. This avoid unnecessary changes to the previous line.
Ack, I will update the MR (and subsequent MRs) accordingly.