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

Point to eff's renamed repository #1486

Merged
merged 1 commit into from
Dec 7, 2016

Conversation

dispalt
Copy link
Contributor

@dispalt dispalt commented Dec 7, 2016

No description provided.

@kailuowang
Copy link
Contributor

👍 thanks!

@codecov-io
Copy link

Current coverage is 91.93% (diff: 100%)

Merging #1486 into master will not change coverage

@@             master      #1486   diff @@
==========================================
  Files           244        244          
  Lines          3621       3621          
  Methods        3498       3498          
  Messages          0          0          
  Branches        123        123          
==========================================
  Hits           3329       3329          
  Misses          292        292          
  Partials          0          0          

Powered by Codecov. Last update 31080da...a547caa

@peterneyens peterneyens merged commit 73a6481 into typelevel:master Dec 7, 2016
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