Skip to content

Bump Iris version

Maxime Dénès requested to merge maximedenes/LambdaRust-coq:bump-iris into master

I need this for https://github.com/coq/coq/pull/9410

Thanks!

Merge request reports