Merge branch 'master' into docs

13 jobs for docs in 17 minutes and 24 seconds (queued for 1 second)
Status Name Job ID Coverage
  Compilation
passed cmp:cc7-docker #5554822
docker

00:05:48

passed cmp:cc7-gcc #5554821
docker

00:01:35

passed cmp:cc7-llvm #5554823
docker

00:01:38

passed cmp:mac1014-clang #5554824
mac

00:01:38

passed cmp:slc6-gcc #5554819
docker

00:02:27

passed cmp:slc6-llvm #5554820
docker

00:01:26

 
  Testing
passed tst:telescope #5554825
docker

00:00:58

 
  Formatting
passed fmt:cc7-llvm-lint #5554829
docker

00:09:53

passed fmt:centos7-llvm-format #5554828
docker

00:01:02

passed fmt:slc6-llvm-format #5554826
docker

00:00:21

passed fmt:slc6-llvm-lint #5554827
docker

00:06:43

 
  Documentation
passed cmp:doxygen #5554830
docker

00:00:22

passed cmp:usermanual #5554831
docker

00:00:40