Merge branch 'master' into documentation

8 jobs for documentation in 14 minutes and 8 seconds (queued for 1 second)
Status Name Job ID Coverage
  Compile
passed cmp:cc7-gcc #1798026
docker

00:02:06

passed cmp:cc7-llvm #1798027
docker

00:04:13

passed cmp:mac1013-clang #1798028
mac

00:01:11

passed cmp:slc6-gcc #1798024
docker

00:04:52

passed cmp:slc6-llvm #1798025
docker

00:01:31

 
  Format
passed fmt:centos7-llvm-format #1798030
docker

00:02:54

passed fmt:slc6-llvm-format #1798029
docker

00:01:56

 
  Documentation
passed cmp:usermanual #1798031
docker

00:06:21