Merge pull request #1886 from ambroise-arm/av/static-checks
authorAntonio Niño Díaz <[email protected]>
Mon, 1 Apr 2019 10:25:21 +0000 (11:25 +0100)
committerGitHub <[email protected]>
Mon, 1 Apr 2019 10:25:21 +0000 (11:25 +0100)
Fix extra compilation warnings


Trivial merge