Skip to content

Conversation

@marco-c
Copy link
Collaborator

@marco-c marco-c commented Nov 22, 2019

No description provided.

@marco-c marco-c requested a review from La0 November 22, 2019 14:26
@La0 La0 merged commit 4121ae0 into master Nov 22, 2019
@La0 La0 deleted the fix_code_coverage_url branch November 22, 2019 15:07
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.

3 participants