Skip to content
This repository has been archived by the owner on Jan 15, 2022. It is now read-only.

release 2.1.7 with updated php vendor dir #43

Merged
merged 4 commits into from
May 8, 2020
Merged

release 2.1.7 with updated php vendor dir #43

merged 4 commits into from
May 8, 2020

Conversation

rustatian
Copy link
Collaborator

No description provided.

@rustatian rustatian added this to the unplanned milestone May 8, 2020
@rustatian rustatian requested a review from wolfy-j May 8, 2020 18:35
@rustatian rustatian self-assigned this May 8, 2020
@rustatian
Copy link
Collaborator Author

bors r+

bors bot added a commit that referenced this pull request May 8, 2020
43: release 2.1.7 with updated php vendor dir r=48d90782 a=48d90782



Co-authored-by: Valery Piashchynski <piashchynski_valery@hotmail.com>
@rustatian
Copy link
Collaborator Author

bors r-

@bors
Copy link
Contributor

bors bot commented May 8, 2020

Canceled.

@rustatian
Copy link
Collaborator Author

bors r+

bors bot added a commit that referenced this pull request May 8, 2020
43: release 2.1.7 with updated php vendor dir r=48d90782 a=48d90782



Co-authored-by: Valery Piashchynski <piashchynski_valery@hotmail.com>
@bors
Copy link
Contributor

bors bot commented May 8, 2020

Build failed:

@rustatian
Copy link
Collaborator Author

bors r+

bors bot added a commit that referenced this pull request May 8, 2020
43: release 2.1.7 with updated php vendor dir r=48d90782 a=48d90782



Co-authored-by: Valery Piashchynski <piashchynski_valery@hotmail.com>
@bors
Copy link
Contributor

bors bot commented May 8, 2020

Build failed:

@rustatian
Copy link
Collaborator Author

bors r+

@bors bors bot merged commit ef23479 into master May 8, 2020
@bors bors bot deleted the release_2.1.7 branch May 8, 2020 19:34
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants