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

Release/v1.2

See merge request !28
12 jobs for master in 48 minutes and 56 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed #8126
build:9-debug-gcc

00:17:51

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

00:30:53

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

00:31:57

passed #8127
build:9-release-gcc

00:19:34

 
  Demo
passed #8130
demo:9-debug-gcc

00:03:26

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

00:04:42

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

00:04:25

passed #8131
demo:9-release-gcc

00:03:18

 
  Test
passed #8134
test:9-debug-gcc

00:05:41

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

00:04:48

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

00:05:52

passed #8135
test:9-release-gcc

00:06:35