Skip to content

bootstrap: rename 'user' profile to 'dist'#113068

Merged
bors merged 1 commit intorust-lang:masterfrom
clubby789:bootstrap-user-to-dist
Jun 27, 2023

Commits

Commits on Jun 26, 2023