Merge branch 'release/v1.2' into 'dev'

Release/v1.2

See merge request !29
12 jobs for dev in 102 minutes and 31 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #8265
build:9-debug-gcc

00:43:09

passed #8267
build:9-parallel-debug-gcc

01:07:52

passed #8268
build:9-parallel-release-gcc

01:04:52

passed #8266
build:9-release-gcc

00:44:57

 
  Demo
passed #8269
demo:9-debug-gcc

00:07:13

passed #8271
demo:9-parallel-debug-gcc

00:09:13

passed #8272
demo:9-parallel-release-gcc

00:07:38

passed #8270
demo:9-release-gcc

00:06:55

 
  Test
passed #8273
test:9-debug-gcc

00:10:18

passed #8275
test:9-parallel-debug-gcc

00:08:02

passed #8276
test:9-parallel-release-gcc

00:11:55

passed #8274
test:9-release-gcc

00:11:39