Skip to content

Include missing tools in the manifest and mark them as unavailable#53715

Merged
bors merged 1 commit intorust-lang:masterfrom
pietroalbini:missing-components-manifest
Aug 27, 2018
Merged

Include missing tools in the manifest and mark them as unavailable#53715
bors merged 1 commit intorust-lang:masterfrom
pietroalbini:missing-components-manifest

Commits

Commits on Aug 25, 2018