Merge pull request #2359 from dneto0/fix-warn
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 28 Jul 2020 14:39:26 +0000 (08:39 -0600)
committerGitHub <noreply@github.com>
Tue, 28 Jul 2020 14:39:26 +0000 (08:39 -0600)
Avoid spurious warning about uninit var


Trivial merge