workaround for issue #88 #89

Closed
wants to merge 1 commit into
from

2 participants

@hcgraf

This PR is mostly for revision & further discussion, it's not meant as the final solution!

See also the discussion on issue #88.

@ericfreese ericfreese closed this Feb 7, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment