Merge branch 'master' into develop

3 jobs for develop in 7 minutes and 37 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #82853
VS2017
VS2017-x64

00:01:47

passed #82855
buster Linux
clang-buster

00:04:57

passed #82854
buster Linux
gcc-buster

00:00:52