Run of fresh-releases for menhir

Try this locally (using silver-platter):

debian-svp new-upstream menhir 

Merge these changes:

git pull https://janitor.debian.net/git/menhir fresh-releases/main

Summary

Merged new upstream version: 20190924 (was: 20190626).

Diff

Unable to retrieve diff; error 500

Full worker log Full build log