Skip to content

Add Mra to changelog

Amin Timany requested to merge amintimany/iris-coq:mra-changelog into robbert/mra

@robbertkrebbers this is the changelog you asked for in !963 (merged).

Merge request reports