]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #6057 : cmr/rust/map_zip, r=graydon
authorbors <bors@rust-lang.org>
Sat, 27 Apr 2013 00:42:36 +0000 (17:42 -0700)
committerbors <bors@rust-lang.org>
Sat, 27 Apr 2013 00:42:36 +0000 (17:42 -0700)
I think the name is more clear, and fits with filter_map etc.

1  2 
src/libcore/vec.rs

Simple merge