Merge pull request #165237 from vbgl/ocaml-comparelib-remove
authored by Sandro and committed by GitHub 3 years ago b4d4e7ba 384cbf46