]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #6866 : pcwalton/rust/pub-extern, r=brson
authorbors <bors@rust-lang.org>
Sun, 2 Jun 2013 21:55:33 +0000 (14:55 -0700)
committerbors <bors@rust-lang.org>
Sun, 2 Jun 2013 21:55:33 +0000 (14:55 -0700)
r? @brson


Trivial merge