Fix compilation issue on some CI runners
Passed
Jan de Cuveland
created pipeline for commit b8a3e7b9
, finished
Related merge request !772 to merge reco_binary
96 minutes 24 seconds, queued for 8 seconds