Clarify the relationship between extended
and tools
in config.toml
#68127
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 14, 2020
Merged
Clarify the relationship between `extended` and `tools` in `config.toml`#68127bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom