Skip to content

Allow rust-highfive to label issues it creates.#72395

Merged
bors merged 1 commit intorust-lang:masterfrom
Elinvynia:highfive
May 23, 2020

Commits

Commits on May 22, 2020