SE-0202 Amendment Proposal: Rename Random to DefaultRandomNumberGenerator

I would like to echo something I said in the previous thread

2 Likes