Repository navigation
enable rust_2018_idioms lint group for doctests - #106621
Merged
bors merged 1 commit intoMay 8, 2023
Merged
Commits
Commits on May 6, 2023
rust_2018_idioms lint group for doctests - #106621