Skip to content

Don't warn empty branches unreachable for now#129103

Merged
bors merged 1 commit into
rust-lang:masterfrom
Nadrieril:dont-warn-empty-unreachable
Sep 12, 2024
Merged

Don't warn empty branches unreachable for now#129103
bors merged 1 commit into
rust-lang:masterfrom
Nadrieril:dont-warn-empty-unreachable

Revert warning empty patterns as unreachable

5b7be14
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs