Merge branch 'develop' into release-8.0

2 jobs for update-latest-centos7 in 20 minutes and 23 seconds (queued for 8 seconds)
Status Name Job ID Coverage
  Precheck
passed fast-build #54146

00:20:23

 
  External
passed cdash:ubuntu-18.04-fast