Merge branch 'master' into 'develop'

Master

See merge request !4
6 jobs for develop in 8 minutes and 46 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #8118
centos
centos_build

00:01:44

passed #8119
mac
mac_build

00:01:19

passed #8120
ubuntu
ubuntu_build

00:01:38

 
  Test
passed #8121
centos
centos_run

00:05:11

passed #8122
mac
mac_run

00:03:47

passed #8123
ubuntu
ubuntu_run

00:05:36