]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #11184 : jhasse/rust/patch-col, r=huonw
authorbors <bors@rust-lang.org>
Thu, 2 Jan 2014 03:41:55 +0000 (19:41 -0800)
committerbors <bors@rust-lang.org>
Thu, 2 Jan 2014 03:41:55 +0000 (19:41 -0800)

Trivial merge