Skip to content

Merge pull request #18855 from Giga-Bowser/migrate-if-let #6472

Merge pull request #18855 from Giga-Bowser/migrate-if-let

Merge pull request #18855 from Giga-Bowser/migrate-if-let #6472

Annotations

1 warning

other_metrics (ripgrep-13.0.0)

succeeded Jan 8, 2025 in 55s