Commit a09378479c43596eacd072025af84ba0c10c479c

Stefan Sperling 2019-05-11T09:33:11

fix checkout to non-existing directories in parents other than /tmp