BTreeMap: cut out the ceremony around BoxedNode#79354
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 24, 2020
ssomers:btree_bereave_BoxedNode
Merged
BTreeMap: cut out the ceremony around BoxedNode#79354bors merged 1 commit intorust-lang:masterfrom ssomers:btree_bereave_BoxedNode
bors merged 1 commit intorust-lang:masterfrom
ssomers:btree_bereave_BoxedNode