]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #14157 : pcwalton/rust/detildestr-rustdoc, r=pcwalton
authorbors <bors@rust-lang.org>
Tue, 13 May 2014 01:37:13 +0000 (18:37 -0700)
committerbors <bors@rust-lang.org>
Tue, 13 May 2014 01:37:13 +0000 (18:37 -0700)
r? @brson


Trivial merge