]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #11956 : edwardw/rust/issue-7556, r=cmr
authorbors <bors@rust-lang.org>
Mon, 10 Feb 2014 22:56:47 +0000 (14:56 -0800)
committerbors <bors@rust-lang.org>
Mon, 10 Feb 2014 22:56:47 +0000 (14:56 -0800)
Closes #7556.

Also move ``std::util::Void`` to ``std::any::Void``. It makes more sense to me.


Trivial merge