Merge branch 'v12.2-release' into 'devel_12.2.x'

V12.2 release

See merge request !714
20 jobs for devel_12.2.x in 9 minutes and 2 seconds (queued for 1 second)