Warn if num installed to a broken system compiler#11300

Merged

kit-ty-kate merged 1 commit intoocaml:masterfrom dra27:broken-num-warning

Mar 24, 2018

+120-2

Commits on Jan 24, 2018

Warn if num installed to a broken system compiler
dra27
committed