Skip to content

Remove unused typedef

Marco Cattaneo requested to merge cherry-pick-2fb90345 into 2018-patches

Exposed by change of compilation flags in the nightlies

(cherry picked from commit 2fb90345)

Merge request reports