Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Sorting input paths makes some things nicer. E.g., ordering by fileNo
becomes the same as ordering by path and if only dup deletions happen then file numbers stay in the same order across runs.
- Loading branch information