Skip to content

Conversation

@jgebal
Copy link
Member

@jgebal jgebal commented Nov 18, 2018

Resolves #775

@jgebal jgebal added this to the v3.1.3 milestone Nov 18, 2018
@jgebal jgebal merged commit 30f3340 into develop Nov 18, 2018
@jgebal jgebal deleted the feature/html_coverage_encoding branch November 18, 2018 23:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants