@andrzejewsky opened this Pull Request on March 2nd 2016 Contributor
@sgiehl commented on March 3rd 2016 Member

Thanks for the pull request. That indeed solves the encoding problem

This Pull Request was closed on March 3rd 2016
Powered by GitHub Issue Mirror