Skip to content

Remove confusing use_polonius flag and do less cloning#126023

Merged
bors merged 1 commit intorust-lang:masterfrom
amandasystems:you-dropped-this-again
Jun 24, 2024
Merged

Remove confusing `use_polonius` flag and do less cloning#126023
bors merged 1 commit intorust-lang:masterfrom
amandasystems:you-dropped-this-again

Commits

Commits on Jun 5, 2024