diff options
| author | Vincent Laporte | 2019-05-07 13:05:49 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-05-07 13:05:49 +0000 |
| commit | c1b5e2941f168bd599e9c653577ebd50399023eb (patch) | |
| tree | da3a947cbeb3b235d9529ac0c3c2c70390903e83 /configure.ml | |
| parent | 403f8784706d54e5e91bf20e56b0bf8ea40f4df3 (diff) | |
| parent | 53438d636ddd4f05249ef13e89306759bfe3499f (diff) | |
Merge PR #10016: [test-suite] Remove a test with a Timeout that fails frequently on CI.
Reviewed-by: vbgl
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions