On Tue, Feb 11, 2025 at 10:46:14PM +0100, Miguel Ojeda wrote: > 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.). Agree with Miguel, better to drop it in such cases. But no worries, Tamir. It was still valid in this case, which is why I did not complain. :) Also feel free to keep it for v5, moving to Gary's simplification. - Danilo
