Remove needless unsafety from BTreeMap::drain_filter#74677
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 24, 2020
Merged
Remove needless unsafety from BTreeMap::drain_filter#74677bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom