]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #11739 : thestinger/rust/rm-old-ext, r=alexcrichton
authorbors <bors@rust-lang.org>
Thu, 23 Jan 2014 13:56:30 +0000 (05:56 -0800)
committerbors <bors@rust-lang.org>
Thu, 23 Jan 2014 13:56:30 +0000 (05:56 -0800)

Trivial merge