tree 84f330c940d484751692d66107b79968a9926a37
parent eefa8df69a92d9f1a6f1ae5163961181e3cb51f2
author Felix Weinrank <weinrank@fh-muenster.de> 1547593068 +0100
committer Felix Weinrank <weinrank@fh-muenster.de> 1547593068 +0100

Cherrypicking windows fixes