Skip to content

update php grammar#29130

Merged
roblourens merged 1 commit intomicrosoft:masterfrom
jens1o:jens1o-update-php-grammar
Jun 21, 2017
Merged

update php grammar#29130
roblourens merged 1 commit intomicrosoft:masterfrom
jens1o:jens1o-update-php-grammar

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.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants