On Thu, Nov 30, 2023 at 4:37 PM Alexander Korotkov <[email protected]> wrote: > > On Thu, Nov 30, 2023 at 10:29 AM Pavel Borisov <[email protected]> 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?
