kani v1.2.2
·
70 commits
to main
since this release
a7246f8
This commit was signed with the committer’s verified signature.
joshuasing
Joshua Sing
Changelog
Fixes
- a7246f8: fix: fix problem with domain/issuer (@joshuasing)
Full Changelog: v1.2.1...v1.2.2
Contributors
joshuasing