Skip to content

Don't warn empty branches unreachable for now#129103

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

Commits

Commits on Sep 11, 2024