Merge branch 'CHANGELOG_docker' into 'dev'

docker/CHANGELOG: 2020-06-15 server version

See merge request !730
6 jobs for dev in 8 minutes and 17 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Test Tools
passed #682898
test_tools

00:00:11

 
  Test Quality
passed #682899
web
code_quality

00:00:10

 
  Test Unit
passed #682900
web
test_browser_unit

00:00:22

passed #682901
web
test_server_unit

00:00:19

 
  Test Functional
passed #682902
docker x86_64
ff32-server-functional

00:07:13

passed #682903
docker x86_64
ff45-server-functional

00:06:23