Etcm 52 make sure mantis works on windows#671

kapke merged 7 commits intodevelopinput-output-hk/mantis:developfrom

etcm-52-make-sure-mantis-works-on-windowsinput-output-hk/mantis:etcm-52-make-sure-mantis-works-on-windowsCopy head branch name to clipboard