16 Jun
2023
16 Jun
'23
6:26 a.m.
On Fri Jun 16 06:24:41 2023 +0000, Davide Beatrici wrote:
Oh, sorry, I didn't know you preferred the former... I've always been using the latter, also in already merged MRs.
Well it's more about not making unnecessary changes rather than my personal preferences.