Skip to content

Better opam file#5

Merged
rvantonder merged 2 commits intorvantonder:masterfrom
UnixJunkie:better_opam_file
Mar 12, 2019
Merged

Better opam file#5
rvantonder merged 2 commits intorvantonder:masterfrom
UnixJunkie:better_opam_file

Conversation

@UnixJunkie
Copy link
Contributor

No description provided.

@rvantonder
Copy link
Owner

Thanks :) Re #1: are these changes enough for a tagged release to work for you? (I have not tested).

@UnixJunkie
Copy link
Contributor Author

I guess so.
Dont hesitate to tag, for example v0.0.1.
The opam-repos CI tests will have to pass before the package is accepted.
You can bump the version number later, if needed.

@rvantonder rvantonder merged commit c6f4787 into rvantonder:master Mar 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants