Merge branch 'f9528-times' into 'master'

replaced symbol

See merge request !327
3 jobs for master in 3 minutes and 52 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Before
passed documentation #8574

00:00:36

 
  Build
passed snapshot #8575

00:02:06

 
  Selenium
passed selenium #8576

00:01:08