Skip to content

bootstrap: also apply unused-attributes hack without deny_warnings#71736

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:silence-spurious-unused
May 2, 2020
Merged

bootstrap: also apply unused-attributes hack without deny_warnings#71736
bors merged 1 commit intorust-lang:masterfrom
RalfJung:silence-spurious-unused

Commits

Commits on May 1, 2020