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 CHANGES.md, AUTHORS.md, and README.md for 0.7.2. #1350

Merged
merged 2 commits into from
Sep 2, 2016

Conversation

non
Copy link
Contributor

@non non commented Sep 2, 2016

This adds four new authors, summarizes the PRs that were
pulled into the 0.7.x branch, and explains the release.
It also mentions that 0.7.1 was botched and should not
be used.

This adds four new authors, summarizes the PRs that were
pulled into the 0.7.x branch, and explains the release.
It also mentions that 0.7.1 was botched and should not
be used.
@non non added the in progress label Sep 2, 2016
@adelbertc
Copy link
Contributor

👍

@non
Copy link
Contributor Author

non commented Sep 2, 2016

Wait I saw a typo! Will fix.

@non
Copy link
Contributor Author

non commented Sep 2, 2016

OK, fixed the typo.

@codecov-io
Copy link

codecov-io commented Sep 2, 2016

Current coverage is 91.73% (diff: 100%)

Merging #1350 into master will not change coverage

@@             master      #1350   diff @@
==========================================
  Files           237        237          
  Lines          3571       3571          
  Methods        3505       3505          
  Messages          0          0          
  Branches         65         65          
==========================================
  Hits           3276       3276          
  Misses          295        295          
  Partials          0          0          

Sunburst

Powered by Codecov. Last update 465bf6c...0ed2674

@rossabaker
Copy link
Member

👍 I think it is wise to mention the botched release, as you've done.

@non non merged commit 0408170 into typelevel:master Sep 2, 2016
@non non removed the in progress label Sep 2, 2016
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