Skip to content

Fix overzealous clean -p for reserved names.#8398

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:clean-reserved-name
Jun 22, 2020

Commits

Commits on Jun 22, 2020