Skip to content

Allow everyone to set the beta-nominated label#110307

Merged
bors merged 1 commit intorust-lang:masterfrom
est31:beta_nominated_unauthenticated
Apr 16, 2023
Merged

Allow everyone to set the beta-nominated label#110307
bors merged 1 commit intorust-lang:masterfrom
est31:beta_nominated_unauthenticated

Commits

Commits on Apr 14, 2023