Merge branch 'develop'

6 jobs for master in 7 minutes and 56 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed centos_build #13979
centos

00:01:15

passed mac_build #13980
mac

00:01:13

passed ubuntu_build #13981
ubuntu

00:01:39

 
  Test
passed centos_run #13982
centos

00:02:48

passed mac_run #13983
mac

00:06:40

passed ubuntu_run #13984
ubuntu

00:03:09