Change default lint output format#9782
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 9, 2013
geoffhill-zz:lint-format2
Merged
Change default lint output format#9782bors merged 1 commit intorust-lang:masterfrom geoffhill-zz:lint-format2
bors merged 1 commit intorust-lang:masterfrom
geoffhill-zz:lint-format2
