Merging a number of PRs into one#134
Merged
alexcrichton merged 30 commits intorust-lang:masterfrom Jan 11, 2016
Merged
Commits
Commits on Dec 23, 2015
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 25, 2015
- committed
Commits on Dec 27, 2015
- authored andcommitted
- committed
Commits on Dec 31, 2015
- committed
Commits on Jan 5, 2016
- authored andcommitted
Commits on Jan 6, 2016
Commits on Jan 10, 2016
- committed
- committed
- committed
- committed
- committed
