Skip to content

Conversation

@EdwardBetts
Copy link

No description provided.

khmarbaise added a commit that referenced this pull request May 10, 2018
@khmarbaise khmarbaise added this to the 1.25 milestone May 10, 2018
@khmarbaise
Copy link
Member

I have integrated your change. Unfortunately the branch was not in sync with master..But of course thanks for your contribution.

@khmarbaise khmarbaise closed this May 10, 2018
@EdwardBetts EdwardBetts deleted the spelling branch May 10, 2018 11:07
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