Merge pull request #386 from TheBlueMatt/2019-10-useless-lints
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Mon, 28 Oct 2019 21:36:39 +0000 (21:36 +0000)
committerGitHub <noreply@github.com>
Mon, 28 Oct 2019 21:36:39 +0000 (21:36 +0000)
Disable some useless lints


Trivial merge