]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #7896 : pcwalton/rust/pub-extern, r=pcwalton
authorbors <bors@rust-lang.org>
Sun, 21 Jul 2013 01:40:39 +0000 (18:40 -0700)
committerbors <bors@rust-lang.org>
Sun, 21 Jul 2013 01:40:39 +0000 (18:40 -0700)
r? @nikomatsakis


Trivial merge