Remove naval lint.
Merge pull request #889 from jrogelstad/21529

Remove naval lint.