Tiny man fixes #1770

Closed
wants to merge 3 commits into
from

Conversation

Projects
None yet
4 participants
Member

ghedo commented Aug 12, 2017

No description provided.

ghedo added some commits Aug 12, 2017

@ghedo, thanks for your PR! By analyzing the history of the files in this pull request, we identified @bagder, @rousskov and @yangtse to be potential reviewers.

bagder approved these changes Aug 12, 2017

Thanks!

@bagder bagder closed this in a6fdf11 Aug 12, 2017

Coverage Status

Coverage increased (+0.007%) to 75.093% when pulling 567f52c on ghedo:typos into 2747aec on curl:master.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment