Skip to content

Conversation

@manosim
Copy link
Member

@manosim manosim commented Jul 25, 2015

No description provided.

manosim pushed a commit that referenced this pull request Jul 25, 2015
@manosim manosim merged commit 33aa3cb into master Jul 25, 2015
@manosim manosim deleted the coverage-cleanup branch July 25, 2015 20:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants