Skip to content

rename RcBox to RcInner for consistency#131521

Merged
bors merged 3 commits into
rust-lang:masterfrom
jdonszelmann:rc
Oct 15, 2024
Merged

rename RcBox to RcInner for consistency#131521
bors merged 3 commits into
rust-lang:masterfrom
jdonszelmann:rc

rename rcbox in other places as per review comments

9e0a7b9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs