Skip to content

Add a profiles section to the manifest#57510

Merged
bors merged 1 commit into
rust-lang:masterfrom
nrc:manifest-profiles
Jan 12, 2019
Merged

Add a profiles section to the manifest#57510
bors merged 1 commit into
rust-lang:masterfrom
nrc:manifest-profiles

Add a profiles section to the manifest

4103e5b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs