On Fri, May 17, 2024 at 4:26 AM Dmitry Dolgov <9erthali...@gmail.com> wrote: > Thanks, that's correct. I think the only thing left is to add a verifier > pass, which everybody seems to be agreed is nice to have. The plan is to > add it only to master without back-patching. I assume Thomas did not > have time for that yet, so I've added the latest suggestions into his > patch, and going to open a CF item to not forget about it.
Pushed, and closed. Thanks!