Merge branch '93-mingw-corrections-for-the-hacks' into 'develop'
Passed
Josch Morgenstern
created pipeline for commit
7d636b62
, finished
For 99-add-runner-for-windows-mingw
4 minutes 44 seconds, queued for 4 seconds