github.0.9.3: declare as opam-version 1.2.
Merge pull request #3157 from whitequark/fix-github-0.9.3

github.0.9.3: declare as opam-version 1.2.