On Wed Aug 31 14:00:14 2022 +0000, Giovanni Mascellani wrote:
For the future, please do code cleaning stuff (like renaming variables) in dedicated commits, so that the "meaty" commits are easier to read.
Okay, I agree with this policy, now that merge requests have to be approved as a whole.