Skip to content

Enable rustbot shortcuts for rust-clippy#8072

Merged
bors merged 1 commit intorust-lang:masterfrom
xFrednet:0000-teach-rustbot-acronyms
Dec 5, 2021
Merged

Enable rustbot shortcuts for rust-clippy#8072
bors merged 1 commit intorust-lang:masterfrom
xFrednet:0000-teach-rustbot-acronyms

Commits

Commits on Dec 3, 2021