Skip to content

Remove dead code in sockets extension - #4264

Closed
Girgias wants to merge 1 commit into
php:PHP-7.4from
Girgias:remove-deadcode-sockets-conversion
Closed

Girgias wants to merge 1 commit into
php:PHP-7.4from
Girgias:remove-deadcode-sockets-conversion

Conversation

@Girgias

@Girgias Girgias commented Jun 14, 2019

Copy link
Copy Markdown
Member

@krakjoe

krakjoe commented Jun 15, 2019

Copy link
Copy Markdown
Member

Merged as cfdca10

Thanks.

@krakjoe krakjoe closed this Jun 15, 2019
@Girgias
Girgias deleted the remove-deadcode-sockets-conversion branch June 25, 2019 15:00
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