Merge branch '1.2-merge-master' into '1.2'

1.2 merge master

See merge request !276
4 jobs for 1.2 in 92 minutes and 42 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #8283
docker linux amd64
build:linux:amd64

00:00:24

 
  Test
passed #8285
docker linux amd64
deckard:linux:amd64

00:00:30

passed #8286
docker linux amd64
respdiff:linux:amd64

01:32:18

passed #8284
docker linux amd64
test:linux:amd64

00:00:20