diff options
| author | Emilio Jesus Gallego Arias | 2019-05-02 10:43:23 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-05-02 10:43:23 +0200 |
| commit | 13a5d507049e03497ba17434c5f4089beb3312d6 (patch) | |
| tree | c3bf39ae85431ca6cdf5db03417e55d59bdf54be /kernel | |
| parent | 213b5419136e4639f345e171c086b154c14aa62c (diff) | |
| parent | 680facebace8718f651d6c46167359cebc85a8a4 (diff) | |
Merge PR #10048: [CI/Azure/macOS] Fix install of OCaml through OPAM
Reviewed-by: ejgallego
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions