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 Name Job ID Coverage
  Build
passed build:9-debug-gcc #8265

00:43:09

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

01:07:52

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

01:04:52

passed build:9-release-gcc #8266

00:44:57

 
  Demo
passed demo:9-debug-gcc #8269

00:07:13

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

00:09:13

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

00:07:38

passed demo:9-release-gcc #8270

00:06:55

 
  Test
passed test:9-debug-gcc #8273

00:10:18

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

00:08:02

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

00:11:55

passed test:9-release-gcc #8274

00:11:39