]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #22911 - djmally:master, r=steveklabnik
authorManish Goregaokar <manishsmail@gmail.com>
Mon, 2 Mar 2015 08:08:50 +0000 (13:38 +0530)
committerManish Goregaokar <manishsmail@gmail.com>
Mon, 2 Mar 2015 20:16:28 +0000 (01:46 +0530)
 ... example that actually does use an Option


Trivial merge