This unbreaks lang/compcert which is the only devel/ocaml-menhir consumer in the tree. Not removing BROKEN in compcert for now. ok daniel@ (lang/compcert maintainer)
This unbreaks lang/compcert which is the only devel/ocaml-menhir consumer in the tree. Not removing BROKEN in compcert for now. ok daniel@ (lang/compcert maintainer)