Use new global allocator api for rust 1.21 (!5) · Merge requests · robigalia / sel4-start · GitLab

Jimmy Brush requested to merge rust_nightly_1.21 into master Jul 29, 2017

Fixes #1 (closed)

Waiting on https://github.com/Amanieu/intrusive-rs/issues/12

Edited Jul 30, 2017 by Jimmy Brush