Merge branch 'master' into 'master'

Fix broken link

See merge request !164
1 job for master in 6 minutes and 48 seconds (queued for 3 seconds)