On Fri, 25 Oct 2024 at 12:36, Helge Deller <deller at gmx.de> wrote:
>
> Do you want me to send a revert for this specific patch?
No, it's in now, more churn this time around just makes it worse. I
just don't want to see these kinds of non-fixes in the future.
Linus