Skip to content

Eliminate lifting#155921

Closed
nnethercote wants to merge 6 commits into
rust-lang:mainfrom
nnethercote:rm-Lift
Closed

Eliminate lifting#155921
nnethercote wants to merge 6 commits into
rust-lang:mainfrom
nnethercote:rm-Lift

Remove all remaining lifting code.

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