Skip to content

Conversation

petk
Copy link
Member

@petk petk commented Jul 15, 2019

File usage was removed via 33fc7d7.

File usage was removed via 33fc7d7.
Copy link
Member

@cmb69 cmb69 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This file should have been removed long ago. Thanks!

@php-pulls php-pulls closed this in 24f4dff Jul 15, 2019
@petk petk deleted the patch-win32-build-4 branch July 15, 2019 16:02
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