@tsteur opened this Pull Request on March 29th 2016 Owner

fix #9896

It was a bit more complex and took a lot of debugging. Also made some code better debuggable and refactored some bits so it won't occur again.

This Pull Request was closed on March 29th 2016
Powered by GitHub Issue Mirror