Merge branch 'master' into ofz-8443

6 jobs for ofz-8443 in 5 minutes and 23 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #100998
build

00:05:04

passed #101003
build_android

00:00:53

passed #100999
build_clang_libcpp

00:05:03

passed #101002
build_clazy

00:04:01

passed #101000
build_gcc_49

00:05:23

passed #101001
build_mingw64_fedora

00:03:45