Merge pull request #3801 from chipitsine/master
authorakallabeth <akallabeth@users.noreply.github.com>
Fri, 24 Feb 2017 11:26:30 +0000 (12:26 +0100)
committerGitHub <noreply@github.com>
Fri, 24 Feb 2017 11:26:30 +0000 (12:26 +0100)
resolve compiler warning


Trivial merge