Merge branch 'its8196' into 'master'

ITS#8196/ITS#9714 Switch to xorshift

See merge request !561
3 jobs for !561 with its8196 into master in 47 minutes and 30 seconds (queued for 1 second)
latest