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

Update version on index #1439

Merged
merged 1 commit into from
Oct 27, 2016
Merged

Conversation

peterneyens
Copy link
Collaborator

I somehow forgot to actually change the version on the index page in #1437. Oops.

Seems I somehow forgot to actually change the version on the index page
in typelevel#1437.
@non
Copy link
Contributor

non commented Oct 26, 2016

👍

@codecov-io
Copy link

codecov-io commented Oct 26, 2016

Current coverage is 92.19% (diff: 100%)

Merging #1439 into master will not change coverage

@@             master      #1439   diff @@
==========================================
  Files           242        242          
  Lines          3615       3615          
  Methods        3546       3546          
  Messages          0          0          
  Branches         69         69          
==========================================
  Hits           3333       3333          
  Misses          282        282          
  Partials          0          0          

Powered by Codecov. Last update 94e0de0...d71f29c

@non
Copy link
Contributor

non commented Oct 27, 2016

This is a README change, merging with 1 sign-off.

@non non merged commit 8f127ce into typelevel:master Oct 27, 2016
@non non removed the in progress label Oct 27, 2016
@peterneyens peterneyens deleted the acutually-update-index branch October 27, 2016 15:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants