Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve the Einhorn interface #10

Merged
merged 28 commits into from Sep 27, 2012
Merged

Improve the Einhorn interface #10

merged 28 commits into from Sep 27, 2012

Conversation

gdb
Copy link
Contributor

@gdb gdb commented Sep 27, 2012

No description provided.

@@ -0,0 +1,13 @@
=== 0.3.3 2012-09-26
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It seems pretty wrong to tag this as a patch release. Pretty sure I'd make it at least a minor version bump (probably fair to just do that since we haven't released a 1.0 yet - if we had, I'd say we need to bump the major version)

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fair enough. 0.4.0 it is.

gdb added a commit that referenced this pull request Sep 27, 2012
Improve the Einhorn interface
@gdb gdb merged commit d3bf039 into master Sep 27, 2012
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.

None yet

2 participants