diff options
| author | Théo Zimmermann | 2020-12-17 10:07:47 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-12-17 11:59:25 +0100 |
| commit | e11d3f6d5a5045f38f0a17fb15e9674c714d372f (patch) | |
| tree | 3a64e1b3d7c7cea935d633cba8867f51e823cb23 /kernel | |
| parent | 70ea750aa5d28a04e74e35559fb02b2eed7cb3e3 (diff) | |
[ci/gitlab/windows] Bump OCaml to 4.10.2 to fix Windows CI.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions