Merge branch 'release-4-0-0' into 'master'

Release 4.0.0

See merge request !809
2 jobs for master
in 18 seconds and was queued for 45 seconds
Scheduled