]> git.lizzy.rs Git - rust.git/commit
auto merge of #7279 : hanny24/rust/master, r=msullivan
authorbors <bors@rust-lang.org>
Mon, 24 Jun 2013 00:40:56 +0000 (17:40 -0700)
committerbors <bors@rust-lang.org>
Mon, 24 Jun 2013 00:40:56 +0000 (17:40 -0700)
commitac4211ef52a3577f901ed4dc7f370b05ca4e638d
treed2a3dce9cc7c3bdcda7330eadd2de77c61d7db22
parentf82756180bec5a8405e1fc6ee1b22949db24861f
parentf3966e4a08c17c1610a21e0b343f69369ad0eb31
auto merge of #7279 : hanny24/rust/master, r=msullivan

This commit adds filtered method for Option type. It is not exactly necessary (chain method can be used instead), however I believe that this approach using extra filtered method is more convinient.
src/libstd/option.rs