Merge branch 'master' into 'self_play'

Merge Master into self_play

See merge request !32
1 job for self_play in 1 minute and 26 seconds (queued for 1 second)
latest