Skip to content

BTree: remove dead data needlessly complicating insert#94699

Merged
bors merged 1 commit intorust-lang:masterfrom
ssomers:btree_prune_insert
Mar 9, 2022
Merged

BTree: remove dead data needlessly complicating insert#94699
bors merged 1 commit intorust-lang:masterfrom
ssomers:btree_prune_insert

Commits

Commits on Mar 7, 2022