Skip to content

Move MRA out of unstable.

Robbert Krebbers requested to merge robbert/mra into master

This closes #414 (closed)

We still need a CHANGELOG entry. I don't have time to write that now, so if someone could draft that, that would be more than welcome.

/cc @amintimany @Blaisorblade

Merge request reports