]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 0baa927 9a63be1)
auto merge of #8772 : thestinger/rust/option, r=anasazi
authorbors <bors@rust-lang.org>
Tue, 27 Aug 2013 17:20:52 +0000 (10:20 -0700)
committerbors <bors@rust-lang.org>
Tue, 27 Aug 2013 17:20:52 +0000 (10:20 -0700)
commit7841b77676662ed657da7b8911dd0989ac743ca0
tree3ebd9a2e9b8ad7d54ce6ffae5570d33ff78cb655tree | snapshot
parent0baa92707aed3812a7464a891869a40ba4921cbbcommit | diff
parent9a63be1dbd41bdd6f164a70fcc49ca4e19e9ed89commit | diff
auto merge of #8772 : thestinger/rust/option, r=anasazi

Closes #6002

There is consensus that the current implementation should be changed or
removed, so removing it seems like the right decision for now.
Empowering everyone to build reliable and efficient software.