Skip to content

Fix issue #3 #28

wants to merge 5 commits into from

3 participants


7a73320 is the relevant commit, but there's a few that are in zhangtaihao's branch in addition to it.

If we could cherry pick just that commit, or pull his changes for now and revert specific things we don't want...

k00ni commented May 12, 2015

Is there a chance that this pull gets merged in the near future?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.