Skip to content

v0.13.10

Compare
Choose a tag to compare
@yoav-lavi yoav-lavi released this 05 Apr 18:21
· 118 commits to main since this release

Fixes

  • Fixes unnecessary grouping in quantifiers