Merge branch 'release-6.4.2' into 'master'

Release procedure 6.4.2.

See merge request !4075
31 jobs for v6.4.2 in 92 minutes and 29 seconds (queued for 6 seconds)