On Thu, 7 Mar 2024 at 15:24, Tender Wang <[email protected]> wrote: > > Andrei Lepikhov <[email protected]> 于2024年3月6日周三 11:37写道： >> I think, it is a bug. Should it be fixed (and back-patched) earlier? > > Agreed. Need David to review it as he knows this area best.
This is on my list of things to do. Just not at the top yet. David
