]> git.lizzy.rs Git - rust.git/commit
auto merge of #9359 : thestinger/rust/option, r=huonw
authorbors <bors@rust-lang.org>
Wed, 9 Oct 2013 13:21:36 +0000 (06:21 -0700)
committerbors <bors@rust-lang.org>
Wed, 9 Oct 2013 13:21:36 +0000 (06:21 -0700)
commita3b04c1535ab0e733e59b8e1f7801e523cd72fa3
treee7ae38c849741fc9345652311dfa374f36b4be9a
parentf647ccc79c38c1f80dbdb697900b2ba97e293263
parent6a90e80b6240d8213f2b99fa470ef6ee04552d1b
auto merge of #9359 : thestinger/rust/option, r=huonw

See #9355 for discussion.