Commit 9288744c authored by Karl Wette's avatar Karl Wette

Merge branch 'fix_failure' into 'master'

Fix problem documented in #160

See merge request !755
parents 7ea7af0c 6871b25e
Pipeline #57750 passed with stages
in 189 minutes and 33 seconds