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

Fix typo. #1944

Merged
merged 1 commit into from
Oct 1, 2017
Merged

Fix typo. #1944

merged 1 commit into from
Oct 1, 2017

Conversation

jooohn
Copy link
Contributor

@jooohn jooohn commented Oct 1, 2017

No description provided.

@codecov-io
Copy link

codecov-io commented Oct 1, 2017

Codecov Report

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

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1944   +/-   ##
=======================================
  Coverage   95.57%   95.57%           
=======================================
  Files         248      248           
  Lines        4454     4454           
  Branches      126      111   -15     
=======================================
  Hits         4257     4257           
  Misses        197      197

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 0e33b29...56b8bdf. Read the comment docs.

@LukaJCB
Copy link
Member

LukaJCB commented Oct 1, 2017

Merging with one sign-off, as simple typo fix. Thanks for catching this! :)

@LukaJCB LukaJCB merged commit 8506df3 into typelevel:master Oct 1, 2017
@kailuowang kailuowang added this to the 1.0.0-RC1 milestone Oct 13, 2017
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