Lemmas for list cmra (!308) · Merge Requests · Iris / Iris

Merged

Opened Aug 27, 2019 by Michael Sammler @msammler

Lemmas for list cmra

Assignee

Assign to

None

Milestone

None

Assign milestone

Time tracking

0

Labels

None

Assign labels

Reference: iris/iris!308

This will create a new commit in order to revert the existing changes.

Revert in branch

Switch branch

A new branch will be created in your fork and a new merge request will be started.

Pick into branch

Switch branch

A new branch will be created in your fork and a new merge request will be started.