Skip to content

Minor optimization for VecMap::split_off#25301

Merged
bors merged 1 commit intorust-lang:masterfrom
jooert:vec_map_fix_split_off
May 11, 2015
Merged

Minor optimization for `VecMap::split_off`#25301
bors merged 1 commit intorust-lang:masterfrom
jooert:vec_map_fix_split_off

Commits

Commits on May 11, 2015