Code

Remove an unnecessary allowed lint#76287

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom tesuji:rm-allowedtesuji/rustc:rm-allowedCopy head branch name to clipboardSep 7, 2020

-3

Commits

Commits on Sep 4, 2020

• Remove a useless allowed attr

  tesuji

  committed
  a3ee65f