Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!748
Iris 3.5.0 release notes
Code
Review changes
Check out branch
Download
Patches
Plain diff
Tej Chajed
requested to merge
tchajed/iris-coq:release-notes-3.5.0
into
master
Oct 30, 2021
Overview
9
Commits
6
Pipelines
10
Changes
1
Expand
Releasing Iris will fix
#435 (closed)
.
This release had over 450 commits from 16 authors.
Merge request reports