On Wed, Nov 5, 2025 at 1:44 PM Fujii Masao <[email protected]> wrote: > > On Wed, Nov 5, 2025 at 8:26 AM Peter Smith <[email protected]> wrote: > > > > Bump. I found this old thread of mine had received no responses for > > several months. > > > > Any thoughts about the problem it describes? > > +1 to fixing the misleading synopsis. The patch looks good to me. > Unless there are any objections, I'll go ahead and commit it.
I've pushed the patch. Thanks! Regards, -- Fujii Masao
