K 10 svn:author V 3 imp K 8 svn:date V 27 2018-03-20T21:37:33.183046Z K 7 svn:log V 96 Remove reference to lint. We no longer support it, so exceptions for it are no longer relevant. END