This repository has been archived by the owner on May 13, 2019. It is now read-only.

Update version in opam file also. #8

Open

sagotch opened this issue Sep 24, 2014 · 0 comments

Labels

bug

Owner

sagotch commented Sep 24, 2014

No description provided.

sagotch added enhancement bug and removed enhancement labels

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.