lint: add method to get level of a specific lint.#15737
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 18, 2014
Merged
lint: add method to get level of a specific lint.#15737bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
