Skip to content

Conversation

helfer
Copy link
Contributor

@helfer helfer commented Sep 6, 2016

No description provided.

@coveralls
Copy link

Coverage Status

Changes Unknown when pulling 8c187cb on ci into * on master*.

@helfer helfer merged commit ef6aea9 into master Sep 6, 2016
@NeoPhi NeoPhi deleted the ci branch October 6, 2017 15:24
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