Skip to content

Conversation

rijnb
Copy link
Member

@rijnb rijnb commented May 3, 2017

Integrate with main branch.

@coveralls
Copy link

Coverage Status

Coverage decreased (-0.05%) to 94.157% when pulling 3861d65 on dev-2.4.2 into 25b6cc6 on master.

@rijnb rijnb merged commit 0a88f37 into master May 3, 2017
@rijnb rijnb deleted the dev-2.4.2 branch May 3, 2017 11:52
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