Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Use Random.Shared if available. #21089

Closed
wants to merge 3 commits into from
Closed

Use Random.Shared if available. #21089

wants to merge 3 commits into from

Conversation

maliming
Copy link
Member

No description provided.

@maliming maliming added this to the 9.0-final milestone Oct 15, 2024
@MarkCiliaVincenti MarkCiliaVincenti mentioned this pull request Oct 15, 2024
Open
@MarkCiliaVincenti
Copy link
Contributor

There's a few issues here which I outlined in #20531.

@maliming maliming modified the milestones: 9.0-final, 9.1-preview Oct 22, 2024
@skoc10 skoc10 deleted the branch prerel-9.0 October 22, 2024 11:03
@skoc10 skoc10 closed this Oct 22, 2024
@maliming
Copy link
Member Author

#21149

@maliming maliming removed this from the 9.1-preview milestone Oct 22, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@maliming @MarkCiliaVincenti @skoc10