]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #7016 : thestinger/rust/ptr, r=luqmana
authorbors <bors@rust-lang.org>
Sat, 8 Jun 2013 21:31:10 +0000 (14:31 -0700)
committerbors <bors@rust-lang.org>
Sat, 8 Jun 2013 21:31:10 +0000 (14:31 -0700)

Trivial merge