Skip to content

Remove underscore check for manual_non_exhaustive lint#11844

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:manual_non_exhaustive-rm-underscore-check
Nov 22, 2023
Merged

Remove underscore check for `manual_non_exhaustive` lint#11844
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:manual_non_exhaustive-rm-underscore-check

Commits

Commits on Nov 22, 2023