Skip to content
This repository was archived by the owner on Jan 30, 2020. It is now read-only.

Enhancement: Also run build on PHP 7.1 #29

Merged
merged 1 commit into from
Jan 11, 2017
Merged

Enhancement: Also run build on PHP 7.1 #29

merged 1 commit into from
Jan 11, 2017

Conversation

localheinz
Copy link
Member

This PR

  • also runs a build on PHP 7.1

@localheinz localheinz mentioned this pull request Jan 11, 2017
Merged
2 tasks
@localheinz
Copy link
Member Author

Thank you, @froschdesign!

@weierophinney weierophinney merged commit d1dde30 into zendframework:master Jan 11, 2017
weierophinney added a commit that referenced this pull request Jan 11, 2017
@weierophinney
Merge pull request #29 from localheinz/feature/php71
d506ab8 
Enhancement: Also run build on PHP 7.1
weierophinney added a commit that referenced this pull request Jan 11, 2017
@weierophinney
Merge branch 'hotfix/29'
6f07480 
Close #29
weierophinney added a commit that referenced this pull request Jan 11, 2017
@weierophinney
Merge branch 'hotfix/29' into develop
c78530f 
Forward port #29
@localheinz localheinz deleted the feature/php71 branch January 11, 2017 14:39
@localheinz
Copy link
Member Author

Thank you, @weierophinney!

@weierophinney
Copy link
Member

Thanks, @localheinz!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@froschdesign froschdesign froschdesign approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@localheinz @weierophinney @froschdesign