diff options
| author | Alain Frisch <alain@frisch.fr> | 2021-10-27 10:29:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-27 10:29:57 +0200 |
| commit | 18c4d16b3b80388f5b77dcc5a268c33eceb37ebe (patch) | |
| tree | 56747b8f62a838c72f033b37aa88f6a6e928601c /.gitattributes | |
| parent | 1067f776565119286c6e1aeb2ae91457cf516f95 (diff) | |
| download | ocaml-18c4d16b3b80388f5b77dcc5a268c33eceb37ebe.tar.gz | |
Fix performance bug in Obj.reachable_words (#10731)
Fixes: #10730
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions