Issue tracker moved to github
Issue #185
new
Please use the Github issue tracker to open a new issue if this issue shouldn't be closed Github issues
Please use the Github issue tracker to open a new issue if this issue shouldn't be closed Github issues