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.

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

replace cats with Cats for consistency in README.md #2223

Merged
merged 1 commit into from
Apr 12, 2018

Conversation

kun-song
Copy link
Contributor

@kun-song kun-song commented Apr 9, 2018

No description provided.

@codecov-io
Copy link

codecov-io commented Apr 9, 2018

Codecov Report

Merging #2223 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #2223   +/-   ##
=======================================
  Coverage   95.05%   95.05%           
=======================================
  Files         333      333           
  Lines        5789     5789           
  Branches      211      211           
=======================================
  Hits         5503     5503           
  Misses        286      286

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 2ae785f...7e3e57f. Read the comment docs.

Copy link
Contributor

@kailuowang kailuowang left a comment

Choose a reason for hiding this comment

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

thanks very much!

Copy link
Contributor

@ceedubs ceedubs left a comment

Choose a reason for hiding this comment

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

Thanks @satansk!

@ceedubs ceedubs merged commit 350c683 into typelevel:master Apr 12, 2018
@kun-song kun-song deleted the patch-1 branch April 12, 2018 14:04
@kailuowang kailuowang added this to the 1.2 milestone May 30, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants