Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!469
Mention change to lemmas in changelog
Code
Review changes
Check out branch
Download
Patches
Plain diff
Simon Friis Vindum
requested to merge
simonfv/iris:nil-lemmas-changelog
into
master
Jul 02, 2020
Overview
1
Commits
1
Pipelines
0
Changes
1
Expand
Addresses
!468 (comment 53153)
by adding the breaking changes in
!468 (merged)
to the changelog.
Merge request reports