Skip to content

Remove redundant match arm for RPITITs - #113340

Closed
spastorino wants to merge 2 commits into
rust-lang:masterfrom
spastorino:new-rpitit-27
Closed

spastorino wants to merge 2 commits into
rust-lang:masterfrom
spastorino:new-rpitit-27

Commits

Commits on Jul 6, 2023