Skip to content

Conversation

valchonedelchev
Copy link
Collaborator

No description provided.

ddmitov added a commit that referenced this pull request Mar 27, 2014
Fix for compilation problem after variable rename
@ddmitov ddmitov merged commit 09727cd into ddmitov:master Mar 27, 2014
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.

2 participants