Merge branch 'ReleaseV1.2' into 'master'

Release v1.2

See merge request !38
1 job for v1.2 in 54 seconds (queued for 3 seconds)
latest