Skip to content
This repository has been archived by the owner on Jul 11, 2023. It is now read-only.

Renamed with_headers to extract_headers #67

Merged
merged 2 commits into from
Aug 11, 2016
Merged

Renamed with_headers to extract_headers #67

merged 2 commits into from
Aug 11, 2016

Conversation

roll
Copy link
Member

@roll roll commented Aug 11, 2016

It fixes #66

@roll roll added the progress label Aug 11, 2016
@coveralls
Copy link

coveralls commented Aug 11, 2016 •
edited
Loading

Coverage Status

Coverage increased (+0.01%) to 91.547% when pulling e43da65 on breaking/extract-headers into ebb8b8d on master.

@coveralls
Copy link

coveralls commented Aug 11, 2016 •
edited
Loading

Coverage Status

Coverage increased (+0.01%) to 91.547% when pulling 1fd5ddd on breaking/extract-headers into ebb8b8d on master.

@roll roll merged commit 1f6b818 into master Aug 11, 2016
@roll roll removed the progress label Aug 11, 2016
@roll roll deleted the breaking/extract-headers branch August 11, 2016 20:24
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Rename topen argument with_headers to extract_headers
2 participants
@roll @coveralls