On Sun, Feb 27, 2022 at 07:55:26PM +0800, Julien Rouhaud wrote:> Indeed. I doubt it will make any real difference but it doesn't hurt to fix> it.> > Patch looks good to me.
Yes, let's clean up that on HEAD. No objections from here. I'll dothat tomorrow or so.--Michael