Merge branch 'release-v4.2.0' into 'dev'

Bump v4.2.0.

See merge request !95
4 jobs for dev
in 3 minutes and 54 seconds and was queued for 3 seconds