Skip to content

Fix small issue and update changelog #56

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

Merged
merged 3 commits into from
May 18, 2017
Merged

Conversation

Jean85
Copy link
Contributor

@Jean85 Jean85 commented May 17, 2017

This will fix a small batch of issues that arose on Scrutinizer after I merged #47; it's just a small naming issue.

Also, it takes the changelog up to date; while re-reading the master branch history to do that, I've found that releases are on a separate branch: what's the motivation behind that?

@Jean85 Jean85 requested a review from dcramer May 17, 2017 07:36
@Jean85 Jean85 merged commit b795cf8 into master May 18, 2017
@Jean85 Jean85 deleted the improvements_on_pr_47 branch February 25, 2019 17:47
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.

2 participants