diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-07-04 07:28:48 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-07-04 07:29:46 +0200 |
| commit | 5832742143fbb3ecd72044d426bfafaa3d3ce47e (patch) | |
| tree | 30fb64ce2e9ada4c14234fd2db006a5c6096637e /test-suite/misc | |
| parent | b1a13bc7af4f4b8b5249712d0a982cc510a2cb85 (diff) | |
| parent | 1cc70be070e1df522b1539892958496a77710331 (diff) | |
Merge remote-tracking branch 'github/pr/228' into v8.5
Was PR#228: fix coqide double module linking (error on OCaml 4.03)
Fixes #4747: Problem building Coq 8.5pl1 with OCaml 4.03.0: Fatal warnings
triggered by CoqIDE
Diffstat (limited to 'test-suite/misc')
0 files changed, 0 insertions, 0 deletions