Fix compiler error
Passed
Florian Uhlig
created pipeline for commit 9999e3e5
, finished
Related merge request !381 to merge fix_compiler_error
39 minutes 49 seconds, queued for 3 seconds