Merge branch 'bugfix/collision-counter' into develop

4 jobs for 3.12.1 in 16 minutes and 24 seconds (queued for 2 seconds)
latest
Status Name Job ID Coverage
  Build
passed build-gcc #1255465
docker

00:05:11

passed build-intel #1255466
docker

00:04:06

 
  Test
passed test-gcc #1255467
docker

00:11:11

passed test-intel #1255468
docker

00:12:08