Skip to content

Allow setting rla labels via rustbot#114708

Merged
bors merged 1 commit intorust-lang:masterfrom
tgross35:tgross35-patch-1
Nov 28, 2023
Merged

Allow setting `rla` labels via `rustbot`#114708
bors merged 1 commit intorust-lang:masterfrom
tgross35:tgross35-patch-1

Commits

Commits on Aug 10, 2023