Merge pull request #749 from sylvestre/patch-1
authorYann Collet <Cyan4973@users.noreply.github.com>
Thu, 4 Jul 2019 20:03:08 +0000 (13:03 -0700)
committerGitHub <noreply@github.com>
Thu, 4 Jul 2019 20:03:08 +0000 (13:03 -0700)
Remove an useless declaration


Trivial merge