]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #11058 : pcwalton/rust/demuting, r=pcwalton
authorbors <bors@rust-lang.org>
Fri, 27 Dec 2013 02:32:15 +0000 (18:32 -0800)
committerbors <bors@rust-lang.org>
Fri, 27 Dec 2013 02:32:15 +0000 (18:32 -0800)
r? @alexcrichton


Trivial merge