Merge branch 'master' into 'develop'

Master

See merge request !328
3 jobs for develop in 3 minutes and 32 seconds (queued for 1 second)
Status Name Job ID Coverage
  Before
passed documentation #8577

00:00:36

 
  Build
passed snapshot #8578

00:01:49

 
  Selenium
passed selenium #8579

00:01:06