On Wed, 24 Feb 2021 07:58:44 +0000, Álvaro Fernández Rojas <[email protected]> wrote: > > This is supposed to be v3… > Sorry for that. Should I resend?
No, please. 3 versions in less than 12 hours in the middle of a merge
window is bad enough.
Thanks,
M.
--
Without deviation from the norm, progress is not possible.

