Merge branch 'master' into 'develop'

Master

See merge request !343
2 jobs for develop in 3 minutes and 19 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed snapshot #8944

00:02:08

 
  Selenium
passed selenium #8945

00:01:11