Skip to content

Conversation

@9il
Copy link
Member

@9il 9il commented Mar 11, 2017

... and libmir/mir#333

@9il 9il changed the title fix issues #1 #30 and https://github.com/libmir/mir/issues/333 fix issues #1 #30 Mar 11, 2017
@9il 9il merged commit a4c4bd3 into master Mar 11, 2017
@9il 9il deleted the newstuff branch March 11, 2017 09:16
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