Skip to content

rustc_session: Remove lint store from Session#89318

Merged
bors merged 1 commit intorust-lang:masterfrom
petrochenkov:lstore
Sep 29, 2021
Merged

rustc_session: Remove lint store from `Session`#89318
bors merged 1 commit intorust-lang:masterfrom
petrochenkov:lstore

Commits

Commits on Sep 28, 2021