Merge branch 'master' into oss-fuzz-8631

6 jobs from oss-fuzz-8631 in 10 minutes and 6 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #100992
build

00:04:35

passed #100997
build_android

00:01:21

passed #100993
build_clang_libcpp

00:04:27

passed #100996
build_clazy

00:06:52

passed #100994
build_gcc_49

00:04:40

passed #100995
build_mingw64_fedora

00:10:05