Merge branch 'update_following_kati' into 'master'
Failed
Clemens Lange
created pipeline for commit
c30cb3df
, finished
For master
5 minutes 42 seconds, queued for 5 seconds