diff options
author | Stephen Dolan <sdolan@janestreet.com> | 2023-01-12 12:41:42 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-12 12:41:42 +0000 |
commit | 102d9606965dc7e393114a35c4510a603c91528e (patch) | |
tree | 85d05ace33bf35dc5beede2d70ce8754e497d434 /configure | |
parent | f9aeb7012fc1b4ceb5662c5213362393e287e94d (diff) | |
download | ocaml-102d9606965dc7e393114a35c4510a603c91528e.tar.gz |
Bugfix for Ctype.nondep_type (#11879)
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions