Skip to content
This repository has been archived by the owner on Oct 4, 2021. It is now read-only.

Better coverage filtering #809

Merged
merged 3 commits into from
Mar 17, 2015
Merged

Conversation

iainx
Copy link
Contributor

@iainx iainx commented Mar 17, 2015

No description provided.

iain holmes added 3 commits March 17, 2015 14:35
slluis added a commit that referenced this pull request Mar 17, 2015
@slluis slluis merged commit f5b1efb into mono:master Mar 17, 2015
@iainx iainx deleted the better-coverage-filtering branch March 19, 2015 11:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants