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