On Thu, Oct 9, 2025 at 2:09 PM Antonin Houska <[email protected]> wrote: > Richard Guo <[email protected]> wrote: > > I've pushed v24 -- thanks for all the reviews! Now bracing for the > > upcoming bug reports.
> Thanks for finishing this! The lack of feedback I encountered earlier made me > so frustrated that I could not find motivation to collaborate with you. I'm > happy now that my effort did not get wasted. Your efforts in the earlier versions were very important for getting this feature done. Thank you for your work. - Richard
