Commit 8bd8568cf977e484d823877e3bff4e426597c513

Stefan Sperling 2020-04-24T16:23:39

remove file index entries from RB tree upon flush to disk Fixes a file index corruption problem with 'got rebase' found by tracey. ok tracey