Skip to content

Fix version of ignore.#6938

Merged
bors merged 1 commit into
rust-lang:masterfrom
ehuss:fix-ignore-version
May 14, 2019
Merged

Fix version of ignore.#6938
bors merged 1 commit into
rust-lang:masterfrom
ehuss:fix-ignore-version

Fix version of `ignore`.

337fbaa
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs