zhristophe
Results
1
comments of
zhristophe
> I've made a new crates.io release of the package (`z3 0.13.0`) which contains the commit you mention. Awesome sauce! 🚀 Thanks for shipping this sweet update!