On Fri, Dec 20, 2024 at 9:25 PM Stephen Berman <stephen.berman@gmx.net>
wrote:

> On Fri, 20 Dec 2024 16:05:42 +0100 Robert Pluim <rpluim@gmail.com> wrote:
>
> > Minor nits below
>
> You missed on nit:
>

Thank you very much Robert and Stephen for your careful review.

New patch attached.

Cheers,
-Nico