Skip to content

triagebot: Treat I-*nominated like I-nominated#90129

Merged
bors merged 1 commit intorust-lang:masterfrom
joshtriplett:triagebot-nominated
Oct 22, 2021

Commits

Commits on Oct 21, 2021