Merge branch 'ImproveCounting' into 'master'
Passed
Christoph Alt
created pipeline for commit
dad5b492
, finished
For master
17 minutes 48 seconds, queued for 3 seconds