diff options
| author | Emilio Jesus Gallego Arias | 2020-03-09 21:57:46 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-25 23:41:23 -0400 |
| commit | 4a88beff476d2c27eae381bc8a61f777015c0617 (patch) | |
| tree | e472daac96fc2086486db89d57b62550e3c1c572 /parsing | |
| parent | 1217583de0c7ac0d17c8917f21c30c247176d83f (diff) | |
[gitlab] Increase flambda stack size.
See https://github.com/ocaml/ocaml/issues/7842
Diffstat (limited to 'parsing')
0 files changed, 0 insertions, 0 deletions