• Updated to 20170712

Changelog: https://gitlab.inria.fr/fpottier/menhir/blob/master/CHANGES.md

PR: 220850
Submitted by: Jov <amutu@amutu.com> (maintainer)
Reviewed by: matthew (mentor)
Approved by: matthew (mentor)
Differential Revision: https://reviews.freebsd.org/D11756