Skip to content
GitLab

Iris 3.5.0 release notes

Merged Tej Chajed requested to merge tchajed/iris-coq:release-notes-3.5.0 into master

Releasing Iris will fix #435 (closed).

This release had over 450 commits from 16 authors.