Skip to content

Iris 3.6.0 release notes

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).

Merge request reports