Skip to content

v0.22.4

Choose a tag to compare

View all tags
@bobbinth bobbinth released this 03 Mar 23:39
· 112 commits to main since this release
v0.22.4
467484b
This commit was signed with the committer’s verified signature.
bobbinth Bobbin Threadbare
GPG key ID: 289C444AD87BC941
Verified
Learn about vigilant mode.
  • Make SmtLeaf::get_value public (#872).
Assets 2
Loading