+opam-sync-github-prs.1.0.0
opam-sync-github-prs: correct version
Merge pull request #1740 from mirage/master

+opam-sync-github-prs.1.0.0