Merge "Make lint a reserved name."
Xavier Ducrohet [Mon, 18 Feb 2013 20:43:12 +0000 (20:43 +0000)]

Trivial merge