Rename AllocRef to Allocator and (de)alloc to (de)allocate#79286
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 4, 2020
AllocRef to Allocator and (de)alloc to (de)allocate#79286