bors 38ed4674e8 auto merge of #11956 : edwardw/rust/issue-7556, r=cmr
Closes #7556.

Also move ``std::util::Void`` to ``std::any::Void``. It makes more sense to me.
2014-02-10 14:56:47 -08:00
..
2014-02-08 20:59:38 +01:00
2014-02-07 00:38:33 +02:00
2014-01-25 21:38:25 +13:00
2014-02-02 02:59:03 +11:00
2014-02-02 02:59:03 +11:00
2014-02-07 00:38:33 +02:00
2014-02-08 20:59:38 +01:00