Skip to content

Add named config profiles.#7750

Merged
bors merged 2 commits intorust-lang:masterfrom
ehuss:named-config-profiles
Jan 13, 2020
Merged

Add named config profiles.#7750
bors merged 2 commits intorust-lang:masterfrom
ehuss:named-config-profiles

Commits

Commits on Jan 13, 2020