specialize: remove Boxes used by Children::insert#56744
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 14, 2018
Merged
specialize: remove Boxes used by Children::insert#56744bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom