Add missing include.
Passed
Felix Weiglhofer
created pipeline for commit f09601f8
, finished
Related merge request !2004 to merge runinfo-missing-header-fix
88 minutes 10 seconds, queued for 5 seconds