This branch has been updated; the first fix was flawed.
This one just changes the update_minimal to know how to remove a totally moved entry. I also added some tracing support for debugging future things of this ilk.
« Back to merge proposal
This branch has been updated; the first fix was flawed.
This one just changes the update_minimal to know how to remove a totally moved entry. I also added some tracing support for debugging future things of this ilk.