Skip to content

Rename overrides to package in profiles. - #7504

Merged
bors merged 1 commit into
rust-lang:masterfrom
ehuss:rename-package-overrides
Oct 15, 2019
Merged

Rename overrides to package in profiles.#7504
bors merged 1 commit into
rust-lang:masterfrom
ehuss:rename-package-overrides

Rename `overrides` to `package` in profiles.

fcfe0b8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs