Skip to content

NEWS: add news for task-local RNG split change#49217

Merged
StefanKarpinski merged 1 commit intomasterfrom
sk/rng_split_news
Apr 1, 2023
Merged

NEWS: add news for task-local RNG split change#49217
StefanKarpinski merged 1 commit intomasterfrom
sk/rng_split_news

Conversation

@StefanKarpinski
Copy link
Copy Markdown
Member

Adding NEWS entry for #49110.

@StefanKarpinski StefanKarpinski merged commit 121dca6 into master Apr 1, 2023
@StefanKarpinski StefanKarpinski deleted the sk/rng_split_news branch April 1, 2023 20:21
Xnartharax pushed a commit to Xnartharax/julia that referenced this pull request Apr 19, 2023
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.

1 participant