Skip to content

Fix compilation warnings

Marco Cattaneo requested to merge cherry-pick-2efb6f0e into 2017-patches

Exposed by change in compilation flags in the nightlies (cherry picked from commit 4a769e1d)

Merge request reports