>
> On Tue, Jun 09, 2026 at 12:51:47PM +0800, Chao Li wrote:
> > I would not call this a “fix” as it doesn’t fix anything not working
> > today. It is actually a grammar-style cleanup. Since the code being
> > changed is 12 years old, I think this patch is a candidate for v20.
>
> Why do we even need to care about that?
> --
> Michael
Agreed, it's purely cosmetic. If there's no interest in this cleanup,
I'm fine to withdraw it. Thanks both for looking.