Skip to content

A few minor clean-ups to the rt code#8854

Merged
bors merged 4 commits intorust-lang:masterfrom
huonw:rt-papercuts
Aug 30, 2013