diff options
| author | Gaëtan Gilbert | 2020-06-27 22:05:12 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-06-27 22:05:12 +0200 |
| commit | 6e5fee168d874b7b6fe7d5c8f4384661bf328d79 (patch) | |
| tree | 683afae8f3f221b753f96cd459683d91fc207459 /kernel/type_errors.mli | |
| parent | c9ca432c1457bec080f98180bc5ef12ebdf57863 (diff) | |
| parent | 8d595f42df20bdc90fdafb8f16cc9f39b4478035 (diff) | |
Merge PR #12518: [ci] [ocaml] Track OCaml 4.12
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions