Closed dra27 closed 2 years ago
Silences the alert proposed in ocaml/ocaml#11198, but this PR can be merged regardless.
Thanks, cherry-picked as aa93ee420bfb07110880190de7dee551b107ed72
Silences the alert proposed in ocaml/ocaml#11198, but this PR can be merged regardless.