Skip to content

Conversation

ddemidov
Copy link
Contributor

Fixes #692

@coveralls
Copy link

Coverage Status

Coverage decreased (-0.02%) to 83.342% when pulling a7aa6cb on ddemidov:issue-692 into 2e790df on boostorg:develop.

@jszuppe jszuppe assigned jszuppe and unassigned jszuppe Apr 23, 2017
@jszuppe
Copy link
Contributor

jszuppe commented Apr 25, 2017

@keryell I think it's what you've wanted. I'll merge it later today.

@jszuppe jszuppe merged commit 193d7f6 into boostorg:develop Apr 26, 2017
@jszuppe
Copy link
Contributor

jszuppe commented Apr 26, 2017

@ddemidov Thanks!

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