On Mon, 4 Dec 2023 at 10:34, John Naylor <johncnaylo...@gmail.com> wrote:
> On Thu, Nov 30, 2023 at 4:37 PM Alexander Korotkov <aekorot...@gmail.com> > wrote: > > > > On Thu, Nov 30, 2023 at 10:29 AM Pavel Borisov <pashkin.e...@gmail.com> > wrote: > > > Agree. The fix is attached. > > > > What an oversight. > > Thank you, pushed! > > With that, is there any more work pending, or can we close the CF entry? > I think this is complete and could be closed. Regards, Pavel