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

Fix lint error #3402

merged 2 commits into from Dec 14, 2017


None yet
2 participants

agjohnson commented Dec 14, 2017

Looks like a PR was merged early.

Fix lint error
Looks like a PR was merged early.

@ericholscher ericholscher merged commit f186791 into master Dec 14, 2017

2 checks passed

continuous-integration/travis-ci/pr The Travis CI build passed
continuous-integration/travis-ci/push The Travis CI build passed

@stsewd stsewd referenced this pull request Jan 11, 2018


Consistent version format #3504

@agjohnson agjohnson deleted the agj/fix-bad-lint branch Feb 20, 2018

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