On Mon, 27 Jul 2026 at 02:49, Chao Li <[email protected]> wrote: > > > On Jul 26, 2026, at 03:30, Paul A Jungwirth <[email protected]> > > wrote: > > > > This all seems good. Using NOTICE does seem a little nicer. > > > > The commit message has a small typo: > > +1 >
OK, pushed and back-patched. Thank you both. Regards, Dean
