Hygiene fns and cleanup#6938
Merged
bors merged 19 commits intorust-lang:incomingfrom Jun 5, 2013
Merged
Commits
Commits on Jun 5, 2013
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
