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.

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

DOC: Spelling fixes #12172

Closed
wants to merge 1 commit into from
Closed

DOC: Spelling fixes #12172

wants to merge 1 commit into from

Conversation

sebastianas
Copy link
Contributor

Signed-off-by: Sebastian Andrzej Siewior sebastian@breakpoint.cc

Signed-off-by: Sebastian Andrzej Siewior <sebastian@breakpoint.cc>
@paulidale paulidale added approval: review pending This pull request needs review by a committer branch: master Merge to master branch labels Jun 16, 2020
@paulidale paulidale added this to the 3.0.0 milestone Jun 16, 2020
Copy link
Member

@beldmit beldmit left a comment

Choose a reason for hiding this comment

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

LGTM

@beldmit beldmit 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 Jun 17, 2020
@openssl-machine openssl-machine removed the approval: done This pull request has the required number of approvals label Jun 18, 2020
@openssl-machine
Copy link
Collaborator

This pull request is ready to merge

@openssl-machine openssl-machine added the approval: ready to merge The 24 hour grace period has passed, ready to merge label Jun 18, 2020
@beldmit
Copy link
Member

beldmit commented Jun 18, 2020

Merged. Thanks!

@beldmit beldmit closed this Jun 18, 2020
openssl-machine pushed a commit that referenced this pull request Jun 18, 2020
Signed-off-by: Sebastian Andrzej Siewior <sebastian@breakpoint.cc>

Reviewed-by: Paul Dale <paul.dale@oracle.com>
Reviewed-by: Dmitry Belyavskiy <beldmit@gmail.com>
(Merged from #12172)
@sebastianas sebastianas deleted the spelling branch June 23, 2020 21:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
approval: ready to merge The 24 hour grace period has passed, ready to merge branch: master Merge to master branch
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants