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

Commits

Commits on Oct 10, 2019