diff options
| author | Gaëtan Gilbert | 2018-09-21 22:00:49 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-09-21 22:00:49 +0200 |
| commit | 4d1de421c2df95503e4643f41903d214e0c2fb19 (patch) | |
| tree | 42012ca5fd81161100dbdee1824d1a8140c9dc4b /engine | |
| parent | 6614041c46bff5c35abc7fe27e86b11504921d34 (diff) | |
| parent | c7050b099e13ed41773e0294daa27f35a76ea779 (diff) | |
Merge PR #8526: Fix Travis CI by pinning brew OPAM package to version 1.2.2.
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions