Skip to content

Speed up opt_normalize_projection_type#50818

Merged
bors merged 2 commits intorust-lang:masterfrom
nnethercote:faster-normalize
May 18, 2018

Commits

Commits on May 16, 2018

Commits on May 17, 2018