]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #5264 : brson/rust/cross7, r=brson
authorbors <bors@rust-lang.org>
Thu, 7 Mar 2013 07:57:39 +0000 (23:57 -0800)
committerbors <bors@rust-lang.org>
Thu, 7 Mar 2013 07:57:39 +0000 (23:57 -0800)
Follow up to #5242. All credit to @yichoi.


Trivial merge