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

v0.7.2 #158

Merged
merged 2 commits into from
Sep 20, 2017
Merged

v0.7.2 #158

merged 2 commits into from
Sep 20, 2017

Conversation

chewxy
Copy link
Member

@chewxy chewxy commented Sep 20, 2017

No description provided.

@chewxy chewxy requested review from kabaka0 and docmerlin and removed request for kabaka0 September 20, 2017 07:11
@coveralls
Copy link

coveralls commented Sep 20, 2017 •
edited
Loading

Coverage Status

Coverage decreased (-0.04%) to 65.506% when pulling 71bab74 on v0.7.2 into 709e0fe on master.

@coveralls
Copy link

coveralls commented Sep 20, 2017 •
edited
Loading

Coverage Status

Coverage remained the same at 65.541% when pulling e631d72 on v0.7.2 into 709e0fe on master.

@chewxy
Copy link
Member Author

chewxy commented Sep 20, 2017

Hmm, looks like I can actually merge PRs. @docmerlin thanks anyway

@chewxy chewxy merged commit 39e70de into master Sep 20, 2017
@chewxy chewxy deleted the v0.7.2 branch August 19, 2018 03:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@docmerlin docmerlin Awaiting requested review from docmerlin

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

Successfully merging this pull request may close these issues.

None yet
2 participants
@chewxy @coveralls