Skip to content
GitLab
Explore
Sign in
Avoid relying on `Export` bugs
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Avoid relying on `Export` bugs
Maxime Dénès
requested to merge
maximedenes/iris-coq:fix-export
into
master
Sep 10, 2019
Overview
7
Commits
1
Pipelines
0
Changes
7
See
https://github.com/coq/coq/issues/10480
and
https://github.com/coq/coq/issues/10474
.
Merge request reports
Loading