Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Update EXTENSIONS and Author(s) in ext/random #9074

Merged
merged 1 commit into from
Jul 21, 2022
Merged

Update EXTENSIONS and Author(s) in ext/random #9074

merged 1 commit into from
Jul 21, 2022

Conversation

zeriyoshi
Copy link
Contributor

php.net account is better suited for this cases.

@zeriyoshi
Update EXTENSIONS and Author(s) in ext/random
77e0e93 
php.net account is better suited for this cases.
@zeriyoshi zeriyoshi requested a review from TimWolla July 21, 2022 03:59
cmb69
cmb69 approved these changes Jul 21, 2022
View reviewed changes
Copy link
Member

@cmb69 cmb69 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Indeed, makes sense. Thank you!

@TimWolla TimWolla merged commit e4c8949 into php:master Jul 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@TimWolla TimWolla TimWolla approved these changes

@cmb69 cmb69 cmb69 approved these changes

Assignees
No one assigned
Labels
Extension: random
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@zeriyoshi @TimWolla @cmb69