Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixed issue #1250: Add PHP version descriptors to debugging log and profile files #255

Conversation

derickr
Copy link
Contributor

@derickr derickr commented Jan 13, 2016

No description provided.

@derickr derickr force-pushed the issue1250-version-to-debug-log-and-profile-files branch from f867f7a to df97a71 Compare January 13, 2016 10:15
@derickr derickr merged commit df97a71 into xdebug:master Jan 13, 2016
derickr added a commit that referenced this pull request Jan 13, 2016
@derickr derickr deleted the issue1250-version-to-debug-log-and-profile-files branch January 13, 2016 10:18
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.

1 participant