Skip to content

Conversation

@schmouk
Copy link
Owner

@schmouk schmouk commented Dec 6, 2025

Ready to be released. Validated.

@schmouk schmouk self-assigned this Dec 6, 2025
@schmouk schmouk added the merge Merge / Pull requests label Dec 6, 2025
@schmouk schmouk moved this to In Progress in cpp-rand-lib Dec 6, 2025
@schmouk schmouk merged commit 037467d into main Dec 6, 2025
@github-project-automation github-project-automation bot moved this from In Progress to Done in cpp-rand-lib Dec 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge Merge / Pull requests

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants