Skip to content

Conversation

Ponce
Copy link
Contributor

@Ponce Ponce commented May 21, 2015

or we got a symlink pointing to the build files
thanks also to remicollet (see also #1288)

or we got a symlink pointing to the build files
thanks also to remicollet
@remicollet
Copy link
Member

Thanks.

@php-pulls
Copy link

Comment on behalf of remi at php.net:

merged

@php-pulls php-pulls closed this May 21, 2015
@smalyshev smalyshev added the Bug label May 22, 2015
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.

4 participants