Skip to content

Conversation

rijnb
Copy link
Member

@rijnb rijnb commented Oct 19, 2017

No description provided.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 93.853% when pulling eff6f16 on dev into f8e1cb5 on master.

@rijnb rijnb merged commit 6046667 into master Oct 19, 2017
@rijnb rijnb deleted the dev branch October 19, 2017 09:35
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