On Mon, 27 Jul 2026 at 02:49, Chao Li <li(dot)evan(dot)chao(at)gmail(dot)com> wrote:
>
> > On Jul 26, 2026, at 03:30, Paul A Jungwirth <pj(at)illuminatedcomputing(dot)com> 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