Skip to content

Conversation

@petk
Copy link
Member

@petk petk commented Jul 12, 2017

This patch fixes compilation warning as noted in 74913.

Thank you for checking it out and considering merging it.

@petk petk changed the base branch from master to PHP-7.0 July 12, 2017 19:25
@krakjoe krakjoe self-assigned this Jul 13, 2017
@krakjoe
Copy link
Member

krakjoe commented Jul 17, 2017

Merged 0db20a7

Thanks.

@krakjoe krakjoe closed this Jul 17, 2017
@petk petk deleted the patch-poll branch July 17, 2017 11:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants