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)