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

Fix a few minor issues that fell through the cracks. #127

Merged
merged 1 commit into from
Jul 10, 2019
Merged

Fix a few minor issues that fell through the cracks. #127

merged 1 commit into from
Jul 10, 2019

Conversation

pattivacek
Copy link
Collaborator

Not sure how, but these fixes were called out in #117 and #124 but unfixed before the PRs were merged.

@pattivacek
Fix a few minor issues that fell through the cracks.
bb822f9 
Signed-off-by: Patrick Vacek <patrickvacek@gmail.com>
@pattivacek
Copy link
Collaborator Author

@jhdalek55 if you approve, I'll merge it!

jhdalek55
jhdalek55 approved these changes Jul 10, 2019
View reviewed changes
Copy link
Contributor

@jhdalek55 jhdalek55 left a comment

Choose a reason for hiding this comment

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

LGTM. Thanks

@pattivacek
Copy link
Collaborator Author

Oops, I guess I can't merge my own PR. Can someone else do the magic?

@mnm678 mnm678 merged commit e1eea81 into master Jul 10, 2019
@jhdalek55
Copy link
Contributor

jhdalek55 commented Jul 10, 2019 via email

@tkfu tkfu deleted the fix/unfixed-typos branch July 10, 2019 15:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jhdalek55 jhdalek55 jhdalek55 approved these changes

@mnm678 mnm678 mnm678 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@pattivacek @jhdalek55 @mnm678