Closed OlivierNicole closed 2 years ago
The renaming was made by https://github.com/ocaml/ocaml/pull/10879.
The renaming was made by https://github.com/ocaml/ocaml/pull/10879.