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)
commit2afd53148f42eb9b7319d3e8841578aacdc31e6e
tree6a082093c970a51da6fb3343a3105ce9627a149e
parent2cb5133aeb6686ff9656a47ed1225421383184a6
parent58351200b6707b94df3996fdf2ac84f888db8039
Merge pull request #386 from TheBlueMatt/2019-10-useless-lints

Disable some useless lints