Merge pull request #8016 from the-ress/windows-lint
authorKevin Sawicki <kevin@github.com>
Wed, 23 Nov 2016 17:09:39 +0000 (09:09 -0800)
committerGitHub <noreply@github.com>
Wed, 23 Nov 2016 17:09:39 +0000 (09:09 -0800)
Fixed linting on Windows


Trivial merge