Commit 92139643 authored by Luca Giambonini's avatar Luca Giambonini

Fix build with GCC 8 [skip-ci]

parent 045d1a7e
Pipeline #1172 skipped