Skip to content
Snippets Groups Projects

Fix a compilation error introduced with MR 323

Passed
Florian Uhlig created pipeline for commit 49bb42d3
, finished
Related merge request !378 to merge fix_flesnet_installation
merge request
9 jobs 40 minutes 28 seconds, queued for 2 seconds