Merge pull request #360 from TheBlueMatt/2019-07-new-warnings
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Wed, 24 Jul 2019 22:38:34 +0000 (22:38 +0000)
committerGitHub <noreply@github.com>
Wed, 24 Jul 2019 22:38:34 +0000 (22:38 +0000)
Fix unused variable introduced in my changes in bdbf5666a9d693b9bf1


Trivial merge