Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request rust-lang#388 from JakubOnderka/patch-1
Fix build for beta and nightly. Since it's truly unused, I wonder if it rather should be removed then allowed, but the comment on the module makes me think there is some deeper purpose. So better play it safe.
- Loading branch information