Fix script
Failed
Florian Uhlig
created pipeline for commit 44252f71
, finished
Related merge request !1327 to merge fix_deprecated_header_2
3 minutes 10 seconds, queued for 1 seconds