Rename AllocRef to Allocator and (de)alloc to (de)allocate#248
Merged
ehuss merged 1 commit intorust-lang:masterfrom Dec 5, 2020
Merged
Rename `AllocRef` to `Allocator` and `(de)alloc` to `(de)allocate`#248ehuss merged 1 commit intorust-lang:masterfrom
ehuss merged 1 commit intorust-lang:masterfrom
