Merge branch 'cobertura' into 'master'
Passed
Markus Holzer
created pipeline for commit
dee98bb8
, finished
For master
14 minutes 36 seconds, queued for 2 seconds