Skip to content

Use getrandom() instead of random int from player array (#778) #280

Use getrandom() instead of random int from player array (#778)

Use getrandom() instead of random int from player array (#778) #280

Triggered via push January 8, 2024 23:15
Status Success
Total duration 45s
Artifacts
Fit to window
Zoom out
Zoom in