Skip to content

update php grammar#29130

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

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

Conversation

@jens1o

@jens1o jens1o commented Jun 20, 2017

Copy link
Copy Markdown
Contributor

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

//cc @aeschli

@msftclas

Copy link
Copy Markdown

@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