Issue#67 was fixed #137

Closed
wants to merge 1 commit into
from

Conversation

Projects
None yet
2 participants

Arvi3d commented Feb 8, 2011

No description provided.

Contributor

aaugustin commented Oct 18, 2013

I don't believe this change is necessary any more; see #67.

aaugustin closed this Oct 18, 2013

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