SE-0202 Amendment Proposal: Rename Random to DefaultRandomNumberGenerator

Sorry for the stalling of the thread. The core team is actively discussing the feedback and we’ll post something soon. However, a significant redesign of the API is not something we’d consider at this stage. The intention is only to make modest amendments related to the naming of the default generator — nothing more than that. So it is not worth putting up any PRs at this stage.

1 Like