]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #14170 : pcwalton/rust/detildestr-misclibs, r=alexcrichton
authorbors <bors@rust-lang.org>
Thu, 15 May 2014 02:31:52 +0000 (19:31 -0700)
committerbors <bors@rust-lang.org>
Thu, 15 May 2014 02:31:52 +0000 (19:31 -0700)
r? @brson


Trivial merge