On Tue, Feb 11, 2025 at 4:21 PM Tamir Duberstein <tamird@xxxxxxxxx> wrote: > > Drat, will do. Thanks! > Yep, I mentioned it under "Changes in v4". I meant to confirm the reasoning -- it is all good, thanks! (personally I would probably have dropped it in a case like this, since the change in comments is substantial and Danilo was waiting for the clarification from Alejandro etc.). Cheers, Miguel
