Skip to content

Remove redundant casts - #1307

Closed
FranciscoTGouveia wants to merge 1 commit into
rust-lang:mainfrom
FranciscoTGouveia:remove-casts
Closed

Remove redundant casts#1307
FranciscoTGouveia wants to merge 1 commit into
rust-lang:mainfrom
FranciscoTGouveia:remove-casts

chore: remove redundant casts

5045a4b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.