diff options
| author | coqbot-app[bot] | 2020-11-16 16:52:04 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-16 16:52:04 +0000 |
| commit | 29dc0d5b8951bb467bb2cc473a90e8feaadbb9b8 (patch) | |
| tree | d810f14bebd5da3d0c8e2612e4d0da317c9cb0cd /interp | |
| parent | af96434d2991b9f01f6cd3963ed114b57e40792f (diff) | |
| parent | 6a6069d55f0be157ff177150594fabcbc4b1f283 (diff) | |
Merge PR #13040: [gc] Set GC policy as best-fit in OCaml >= 4.10.0
Reviewed-by: gares
Reviewed-by: ppedrot
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions