Commit b03c880f032f7cfc88a56c2ede174663d4357344

Stefan Sperling 2019-05-21T13:47:20

fix handling of non-directories in change from previous commit