Commit 27d0e5bd84bca09e4b202bc466a2098cc6447d31

Stefan Sperling 2019-01-12T23:05:44

flush the file index after writing it