![[Jenkins]](/ocaml/static/8707ff75/images/svgs/logo.svg){kind=logo}
Summary
- Fix load path ordering (#9611) (commit: 836d624) (details)
| The file was modified | Changes (diff) |
| The file was modified | utils/load_path.mli (diff) |
| The file was modified | tools/read_cmt.ml (diff) |
| The file was modified | utils/load_path.ml (diff) |
| The file was modified | typing/typemod.ml (diff) |