Skip to content
This repository was archived by the owner on Nov 15, 2021. It is now read-only.

Fix ProfilerCommunication construction#406

Merged
ddur merged 1 commit intoOpenCover:masterfrom
zabulus:fixProfilerCommunication
Jan 5, 2016
Merged

Fix ProfilerCommunication construction#406
ddur merged 1 commit intoOpenCover:masterfrom
zabulus:fixProfilerCommunication

Conversation

@zabulus
Copy link
Contributor

@zabulus zabulus commented Jan 5, 2016

Fixes copy construction in make_shared
See issue #365.

ddur added a commit that referenced this pull request Jan 5, 2016
Fix ProfilerCommunication construction
@ddur ddur merged commit f2fc283 into OpenCover:master Jan 5, 2016
@zabulus zabulus deleted the fixProfilerCommunication branch January 5, 2016 13:39
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