Avoid relying on `Export` bugs (!14) · Merge requests · Iris / lambda-rust · GitLab

Snippets Groups Projects

Closed Maxime Dénès requested to merge maximedenes/LambdaRust-coq:fix-export into master 5 years ago

See https://github.com/coq/coq/issues/10480 and https://github.com/coq/coq/issues/10474.

Activity

Jacques-Henri Jourdan @jjourdan 5 years ago

Maintainer

This is now fixed by ac8d57a0.
Jacques-Henri Jourdan closed 5 years ago

closed
Maxime Dénès @maximedenes 5 years ago

Author Contributor

Thanks a lot, guys!

Please register or sign in to reply