Merge branch 'feature-a/release' into 'dev'

Release 2020.06

See merge request !727
13 jobs for feature-c/4347-optimisation-distrib-load in 14 minutes and 55 seconds (queued for 4 seconds)