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

Already on GitHub? Sign in to your account

#159 complement with unorderable types #160

Merged
merged 1 commit into from Jul 31, 2012

Conversation

Projects
None yet
2 participants
Contributor

florentx commented Jul 25, 2012

Proposed fix for issue #159.

Contributor

florentx commented Jul 25, 2012

Oops I referenced the wrong issue. It is for issue #159 (which is similar).

alimanfoo added a commit that referenced this pull request Jul 31, 2012

Merge pull request #160 from florentx/issue159
#159 complement with unorderable types

@alimanfoo alimanfoo merged commit 3fc7aec into alimanfoo:master Jul 31, 2012

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