Skip to content

BugFix to allow compilation with gcc 7.1

Christoph Hasse requested to merge cherry-pick-3ce22afa into 2017-patches

Propagating the fix in !830 (merged) into 2017-patches. As discussed, this is fixes a bug spotted by gcc7, relevant also for non-gcc7 compilations

Edited by Marco Cattaneo

Merge request reports