projects / cargo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cddf9ad 84a80d8)
Auto merge of #5506 - ehuss:config-profile, r=alexcrichton
authorbors <bors@rust-lang.org>
Sat, 2 Jun 2018 18:24:26 +0000 (18:24 +0000)
committerbors <bors@rust-lang.org>
Sat, 2 Jun 2018 18:24:26 +0000 (18:24 +0000)
Config Profiles (RFC 2282 Part 2)

Notes:
- `-Z config-profile` CLI option is required to use.
- Config values no longer reject mixed base types (integer, string, boolean) in order to support the mixed types in profiles.


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.