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

Rename internal rand.h file #3979

Closed
wants to merge 1 commit into from
Closed

Rename internal rand.h file #3979

wants to merge 1 commit into from

Conversation

richsalz
Copy link
Contributor

Replacement fix for #3975

Rename internal rand.h file
344678a 
Replacement fix for #3975
@richsalz richsalz added branch: master Merge to master branch approval: review pending This pull request needs review by a committer labels Jul 20, 2017
@richsalz richsalz self-assigned this Jul 20, 2017
@richsalz richsalz mentioned this pull request Jul 20, 2017
Closed
@levitte
Copy link
Member

levitte commented Jul 20, 2017

Thank you

@levitte levitte added approval: done This pull request has the required number of approvals and removed approval: review pending This pull request needs review by a committer labels Jul 20, 2017
tmshort
tmshort approved these changes Jul 20, 2017
View reviewed changes
Copy link
Contributor

@tmshort tmshort left a comment

Choose a reason for hiding this comment

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

works for me

levitte pushed a commit that referenced this pull request Jul 20, 2017
Rename internal rand.h file
63f483e 
Replacement fix for #3975

Reviewed-by: Richard Levitte <levitte@openssl.org>
(Merged from #3979)
@richsalz richsalz closed this Jul 20, 2017
@richsalz richsalz deleted the rename-rand-header branch July 20, 2017 14:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@levitte levitte levitte approved these changes

@tmshort tmshort tmshort approved these changes

Assignees

@richsalz richsalz

Labels
approval: done This pull request has the required number of approvals branch: master Merge to master branch
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@richsalz @levitte @tmshort