Merge commit '45861548' into develop

3 jobs for develop in 13 minutes and 37 seconds (queued for 6 minutes and 42 seconds)
Status Name Job ID Coverage
  Build
passed build-clang #7818

00:03:07

passed build-gcc #7817

00:03:44

passed build-scanbuild #7819

00:06:45