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.

Sign up for GitHub

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

Jump to bottom

update php grammar #29130

Merged
merged 1 commit into from
Jun 21, 2017
Merged

update php grammar #29130

merged 1 commit into from
Jun 21, 2017

Conversation

jens1o
Copy link
Contributor

@jens1o jens1o commented Jun 20, 2017

So in tomorrow's insiders, I don't have any problems. :)

//cc @aeschli

@msftclas
Copy link

@jens1o,
Thanks for having already signed the Contribution License Agreement. Your agreement was validated by Microsoft. We will now review your pull request.
Thanks,
Microsoft Pull Request Bot

@roblourens roblourens merged commit 691fbe1 into microsoft:master Jun 21, 2017
@jens1o jens1o deleted the jens1o-update-php-grammar branch June 21, 2017 03:45
@roblourens roblourens added this to the June 2017 milestone Jun 30, 2017
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@roblourens roblourens roblourens approved these changes

Assignees

@roblourens roblourens

Labels
None yet
Projects
None yet
Milestone
June 2017
Development

Successfully merging this pull request may close these issues.
3 participants
@jens1o @msftclas @roblourens