Rename `Alloc` to `AllocRef`#188

Merged

Centril merged 2 commits intorust-lang:masterfrom

TimDiekmann:rename-alloc

Feb 17, 2020

Commits on Jan 26, 2020

Rename `Alloc` to `AllocRef`
TimDiekmann
committed

Commits on Jan 29, 2020

Trigger CI
TimDiekmann
committed