mozilla/rust — pull request #6325 by sammykim (2013-05-08 09:04:39+00:00)
Title: Show lint names

Fix #3525.