Skip to content

Mention change to lemmas in changelog

Simon Friis Vindum requested to merge simonfv/iris:nil-lemmas-changelog into master

Addresses !468 (comment 53153) by adding the breaking changes in !468 (merged) to the changelog.

Merge request reports