Fix a runtime problem on arm64
Passed
Florian Uhlig
created pipeline for commit dacd0263
, finished
Related merge request !937 to merge fix_arm64_2
38 minutes 10 seconds, queued for 3 seconds