Skip to content

Conversation

@commanderofthegrey
Copy link

@nandorKollar
Copy link
Contributor

Looks good to me!

@zivanfi
Copy link
Contributor

zivanfi commented Sep 15, 2017

It seems that someone has committed a change a few days ago that includes this modification: 7923dc6

@rdblue
Copy link
Contributor

rdblue commented Oct 6, 2017

Thank you for fixing this, but Zoltan is right that it is already committed.

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.

4 participants