Skip to content

lint: address various issues#2

Merged
davidchambers merged 5 commits intomasterfrom
dc-lint
Apr 14, 2014
Merged

lint: address various issues#2
davidchambers merged 5 commits intomasterfrom
dc-lint

Conversation

@davidchambers
Copy link
Copy Markdown
Contributor

No description provided.

Comment thread plaid/http.py
Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

This is not exactly equivalent, @gae123, as SERVER_SOFTWARE=Development will now match. I assume this will be fine, though, and the good thing is that _is_appengine is now guaranteed to be a Boolean (previously it could have been None, instead).

davidchambers added a commit that referenced this pull request Apr 14, 2014
lint: address various issues
@davidchambers davidchambers merged commit 9411922 into master Apr 14, 2014
@davidchambers davidchambers deleted the dc-lint branch April 14, 2014 22:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant