Fix overzealous `clean -p` for reserved names.#8398

Merged

bors merged 1 commit intorust-lang:masterfrom ehuss:clean-reserved-name

Jun 22, 2020

+67-10

Commits on Jun 22, 2020

Fix overzealous clean -p for reserved names.
ehuss
committed