Skip to content

Remove a noop .clone#12213

Merged
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:fix-noop
Jun 1, 2023
Merged

Remove a noop .clone#12213
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:fix-noop

Commits

Commits on Jun 1, 2023