Merge branch 'patch-1' into 'master'

Update 2020-04-formation-g5k.rst

See merge request !601
2 jobs for master in 42 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Deps
passed deps #29315
pelican

00:00:02

 
  Build
passed build #29316
docker

00:00:39