Skip to content

Conversation

@ashaffer
Copy link
Member

ghost pushed a commit that referenced this pull request Oct 22, 2016
@ghost
Copy link

ghost commented Oct 22, 2016

Thanks for the patch! Merged in 13.1.1 with whitespace changes removed.

@ghost ghost closed this Oct 22, 2016
This was referenced Oct 22, 2016
This was referenced Jan 25, 2017
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant