Skip to content

Fix to allow compilation with gcc 7.1

Christoph Hasse requested to merge cherry-pick-3ce22afa into master

This is an error spotted when compiling with gcc 7.1.

as for why it hasn't been spotted see @clemenci's explanation here: !829 (merged)

Merge request reports