Skip to content

rustbot allow labels#90563

Merged
bors merged 2 commits intorust-lang:masterfrom
joshtriplett:rustbot-allow-labels
Nov 5, 2021
Merged

rustbot allow labels#90563
bors merged 2 commits intorust-lang:masterfrom
joshtriplett:rustbot-allow-labels

Commits

Commits on Nov 4, 2021