Fix #1015#1030
Merged
marijnh merged 4 commits intorust-lang:masterfrom Oct 12, 2011
Commits
Commits on Oct 12, 2011
- committedDavid Rajchenbach-Teller
- committedDavid Rajchenbach-Teller
- committedDavid Rajchenbach-Teller
- committedDavid Rajchenbach-Teller