Skip to content

Remove a possible unnecessary assignment - #98205

Merged
bors merged 1 commit into
rust-lang:masterfrom
JohnTitor:remove-unnecessary-let
Jun 18, 2022
Merged

Remove a possible unnecessary assignment#98205
bors merged 1 commit into
rust-lang:masterfrom
JohnTitor:remove-unnecessary-let

Remove a possible unnecessary assignment

71d7f41
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs