Merge branch 'R_check' into 'master'
Passed
jens.preussner
created pipeline for commit
2c8a458f
, finished
For master
3 minutes 48 seconds, queued for 219 seconds