Skip to content
This repository has been archived by the owner on Apr 13, 2023. It is now read-only.

0.8.0 #397

Merged
merged 2 commits into from
Jan 5, 2017
Merged

0.8.0 #397

merged 2 commits into from
Jan 5, 2017

Conversation

helfer
Copy link
Contributor

@helfer helfer commented Jan 5, 2017

TODO:

  • If this PR is a new feature, reference an issue where a consensus about the design was reached (not necessary for small changes)
  • Make sure all of the significant new logic is covered by tests
  • Rebase your changes on master so that they can be merged easily
  • Make sure all tests and linter rules pass
  • Update CHANGELOG.md with your change
  • If this was a change that affects the external API, update the docs and post a link to the PR in the discussion

@helfer helfer merged commit 8f4fc8e into master Jan 5, 2017
@helfer helfer deleted the 0.8.0 branch January 5, 2017 07:42
@helfer helfer removed the in progress label Jan 5, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant