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

Fixes bug #1216 #1217

Closed
wants to merge 2 commits into from
Closed

Fixes bug #1216 #1217

wants to merge 2 commits into from

Conversation

danieldietrich
Copy link
Contributor

No description provided.

@codecov-io
Copy link

Current coverage is 96.12%

Merging #1217 into master will increase coverage by +0.02% as of 6dc6eda

@@            master   #1217   diff @@
======================================
  Files           78      78       
  Stmts         9161    9160     -1
  Branches      1717    1717       
  Methods          0       0       
======================================
+ Hit           8804    8805     +1
+ Partial         92      91     -1
+ Missed         265     264     -1

Review entire Coverage Diff as of 6dc6eda

Powered by Codecov. Updated on successful CI builds.

@danieldietrich
Copy link
Contributor Author

Maybe this PR is obsolete. Please check #1216 and #1218

@danieldietrich
Copy link
Contributor Author

I will close this PR. See #1216 for more information.

@danieldietrich danieldietrich added this to the 2.0.2 milestone Aug 18, 2016
@danieldietrich danieldietrich removed this from the javaslang-2.0.2 milestone Oct 23, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
bug reverted/closed/duplicate
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@danieldietrich @codecov-io