@tsteur opened this Pull Request on November 23rd 2016 Owner

fixes #8224

I was going to mention it in the changelog but it is neither a breaking change nor a new feature nor an internal change so thought maybe not even needed. Feel free to add it :)

This Pull Request was closed on December 1st 2016
Powered by GitHub Issue Mirror