Skip to content

Remove an unnecessary cast#124700

Merged
bors merged 1 commit into
rust-lang:masterfrom
scottmcm:unneeded_cast
May 4, 2024
Merged

Remove an unnecessary cast#124700
bors merged 1 commit into
rust-lang:masterfrom
scottmcm:unneeded_cast

Remove an unnecessary cast

b95d1b7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs