Skip to content

bootstrap: Rename profile = user to profile = dist#112166

Merged
bors merged 1 commit into
masterfrom
unknown repository
Jun 3, 2023
Merged

bootstrap: Rename profile = user to profile = dist#112166
bors merged 1 commit into
masterfrom
unknown repository

Update setup.rs

a45fc94
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs