Skip to content

Conversation

@dreis2211
Copy link
Contributor

@jhoeller
Copy link
Contributor

jhoeller commented Jul 5, 2018

As per my JIRA comment, rolled into master as part of a broader revision. Thanks for the PR, in any case!

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.

2 participants