Merge branch 'master' into dev/prop

4 jobs for dev/prop in 15 minutes and 23 seconds (queued for 10 seconds)
latest
Status Name Job ID Coverage
  Build
passed gnu (debug) #58731
ubuntu

00:03:02

passed gnu-hybrid (debug) #58732
ubuntu

00:04:46

passed ifort (debug) #58729
ubuntu

00:04:05

passed ifort-omp (debug) #58730
ubuntu

00:03:28