Skip to content

Conversation

@newpavlov
Copy link
Member

@newpavlov newpavlov commented Nov 6, 2025

Closes #15

@newpavlov newpavlov requested a review from dhardy November 6, 2025 07:37
@newpavlov newpavlov merged commit 08117b4 into master Nov 6, 2025
13 checks passed
@newpavlov newpavlov deleted the fix_repository branch November 6, 2025 07:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Rename repository from core to rand_core?

3 participants