Merge branch 'develop' into 'master'

GDW WS18/19

See merge request !1
3 jobs for gdw_ws1819 in 12 minutes and 45 seconds (queued for 13 minutes and 10 seconds)
latest
Status Job ID Name Coverage
  Build
passed #8494
build-clang

00:03:03

passed #8493
build-gcc

00:03:20

passed #8495
build-scanbuild

00:06:21