Merge branch 'bugfix/issue38' into develop

4 jobs for 3.13.1 in 10 minutes and 20 seconds (queued for 2 seconds)
latest
Status Name Job ID Coverage
  Build
passed build-gcc #1332940
docker

00:05:50

passed build-intel #1332941
docker

00:04:02

 
  Test
passed test-gcc #1332942
docker

00:04:29

passed test-intel #1332943
docker

00:05:31