New Upstream Snapshot - menhir
There were merge conflicts while merging a new upstream version.
More details
Historical runs
- upstream-merged-conflicts: Merging upstream version 20220210+git20220511.1.d30d656 resulted in conflicts.
- upstream-branch-unavailable: The upstream branch at https://gitlab.inria.fr/fpottier/menhir/tags.git was unavailable: ('https://gitlab.inria.fr/fpottier/menhir/tags.git', 'Unexpected HTTP status 401 for https://gitlab.inria.fr/fpottier/menhir/tags.git/info/refs?service=git-upload-pack: Unable to handle http code: Unauthorized')