Merge branch 'develop' into 96-dokumentation-vervollstandigen

5 jobs for 96-dokumentation-vervollstandigen in 13 minutes and 5 seconds (queued for 8 seconds)
latest
Status Name Job ID Coverage
  Build
passed build_mac_clang #88289
catalina-clang-cached

00:03:17

passed build_ubuntu_gcc #88286
ubuntu-gcc-cached

00:04:02

passed build_win10_mingw #88288
win10-mingw-cached

00:09:37

passed build_win10_msvc #88287
win10-msvc-cached

00:07:16

 
  Deploy
passed deploy_doc_branch #88290
webserver

00:00:06