Handle git deleted files with dirty worktree.#9645

Merged

bors merged 1 commit intorust-lang:masterfrom ehuss:git-package-wt_deleted

Jul 2, 2021

+60-8

Commits on Jul 2, 2021

Handle git deleted files with dirty worktree.
ehuss
committed