Skip to content

specialize: remove Boxes used by Children::insert#56744

Merged
bors merged 1 commit intorust-lang:masterfrom
ljedrz:unbox_the_children
Dec 14, 2018

Commits

Commits on Dec 12, 2018