Merge branch '20200806_183203' into 'develop'

20200806 183203

See merge request !168
4 jobs for develop in 2 minutes and 48 seconds (queued for 1 second)
Status Name Job ID Coverage
  Prepare
passed prepare:index #189864

00:00:35

 
  Build
passed build:pages #189865

00:01:45

 
  Generate
passed generate:searchIndex #189866

00:00:13

 
  Deploy
passed deploy:vm #189867

00:00:13