Merge branch 'dockerfix' into 'develop'

Docker fix

See merge request !3526
11 jobs for develop in 79 minutes and 40 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Benchmark
manual #196326
allowed to fail manual
benchmark
 
  Deploy
passed #196327
docs-deploy

00:00:16

passed #196328
spec-deploy

00:00:21

manual #196329
allowed to fail manual
stop_review_app
 
  Release
passed #196330
amd64

00:03:04

passed #196331
amd64-musl

00:03:00

passed #196332
arm32-specified
arm

00:11:39

passed #196333
arm32-specified
arm-musl

00:11:28

passed #196334
arm
arm64

00:11:21

passed #196335
arm
arm64-musl

00:11:46

 
  Docker
passed #196336
dind
docker

00:55:52