Merge branch 'master' into 'master'

Update contributor name

See merge request !628
1 job for master in 3 minutes and 29 seconds (queued for 3 minutes and 23 seconds)
latest