Commit 65084dad1e0e79f61fa736536c15cb512df73d1d

Stefan Sperling 2019-08-08T16:52:12

in revert_file(), only construct on-disk path when actually needed