]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #13576 : lifthrasiir/rust/double-ref, r=alexcrichton
authorbors <bors@rust-lang.org>
Fri, 18 Apr 2014 03:01:25 +0000 (20:01 -0700)
committerbors <bors@rust-lang.org>
Fri, 18 Apr 2014 03:01:25 +0000 (20:01 -0700)
Uses the same strategy as `||` and `>>`. Closes #11227.


Trivial merge