Merge pull request #3987 from chipitsine/cppcheck
authorDavid Fort <rdp.effort@gmail.com>
Thu, 1 Jun 2017 08:06:42 +0000 (10:06 +0200)
committerGitHub <noreply@github.com>
Thu, 1 Jun 2017 08:06:42 +0000 (10:06 +0200)
resolve an issue found by cppcheck


Trivial merge