]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (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)
Closes #6002

There is consensus that the current implementation should be changed or
removed, so removing it seems like the right decision for now.


Trivial merge
Empowering everyone to build reliable and efficient software.