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?