Merge branch 'release_notes' into 'dev'

Release Notes

See merge request !188
10 jobs for dev in 15 minutes and 38 seconds (queued for 32 seconds)