Skip to content

v0.8.61

Choose a tag to compare

View all tags
@github-actions github-actions released this 07 Oct 04:08
· 6 commits to main since this release
Immutable release. Only release title and notes can be modified.
v0.8.61
7bbce8d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Fix Kani builds without derive and release 0.8.61 by @joshlf in #3793

Full Changelog: v0.8.60...v0.8.61

Contributors

joshlf
Assets 3
Loading