Commit cf61d8187fe29b5d3333c3103bc73ad3ca585efc

Stefan Sperling 2019-01-12T22:38:58

allow recovery of a bad file index by removing it and updating