@sgiehl opened this Pull Request on December 21st 2017 Member

hopefully works for all operating systems this way. Let's merge if anyone can confirm this fixes the problems reported for windows

fixes #12344 and fixes #12362

@sgiehl commented on December 22nd 2017 Member

confirmed by a user in #12344

This Pull Request was closed on January 12th 2018
Powered by GitHub Issue Mirror