Skip to content

Allow setting stable-nominated via rustbot#3799

Merged
tgross35 merged 1 commit intomainfrom
tgross35-stable-label
Aug 12, 2024
Merged

Allow setting `stable-nominated` via rustbot#3799
tgross35 merged 1 commit intomainfrom
tgross35-stable-label

Commits

Commits on Aug 12, 2024