Skip to content

Fix false positive for needless_character_iteration lint#12886

Merged
bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:fix-needless_character_iterationJun 5, 2024

Commits

Commits on Jun 4, 2024