Skip to content

Don't warn empty branches unreachable for now#129103

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

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

Commits

Commits on Sep 11, 2024