Mentions légales du service

Skip to content

Increase the lower bound on Menhir.

Guillaume Melquiond requested to merge menhir-bound into master

Due to src/parser/report.ml containing a call to current_state_number, we need a more recent version.

Merge request reports