Skip to content

Rollup of PRs in the queue; Tuesday#22995

Merged
bors merged 3 commits intorust-lang:masterfrom Manishearth:rollupMar 3, 2015