Fix compiler error on several systems
Passed
Florian Uhlig
created pipeline for commit 158e28d6
, finished
Related merge request !828 to merge fix_execution_stl
37 minutes 6 seconds, queued for 8 seconds