Skip to content

Remove dead code for encoding/decoding lint IDs#66337

Merged
bors merged 1 commit intorust-lang:masterfrom
Mark-Simulacrum:no-decode-lint-id
Nov 13, 2019

Commits

Commits on Nov 12, 2019