Skip to content
GitLab

Iris 3.6.0 release notes

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

First steps towards a release, which will help with #443 (closed).