bootstrap: Rename profile = user to profile = dist - #112078

Closed

Swarnlataaa wants to merge 7 commits into

rust-lang:masterfrom

Swarnlataaa:patch-1

Commits on May 29, 2023

please consider merging
Swarnlataaa
authored
7fc6c01
#112074
Swarnlataaa
authored
5edd04c
#error
Swarnlataaa
authored
1027c3b
994-1002 edited
Swarnlataaa
authored
9abdd34
//
Swarnlataaa
authored
d0f0ea8
//
Swarnlataaa
authored
c1120de
Merge branch 'master' into patch-1
Swarnlataaa
authored
5efa453