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.

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

Permit use of `php7.2-mysql` and `php7.3-mysql` in Debian build #130

Merged
merged 1 commit into from Jun 25, 2019

Conversation

@wojsmol
Copy link
Contributor

commented Jun 17, 2019

Fixes #80
Related wp-cli/wp-cli#5239

cc @szepeviktor please check package names

@wojsmol wojsmol requested a review from wp-cli/committers as a code owner Jun 17, 2019

@wojsmol wojsmol force-pushed the wojsmol:update-deps-in-deb branch from 842f7c2 to e593b9e Jun 17, 2019

@szepeviktor

This comment has been minimized.

Copy link
Contributor

commented Jun 17, 2019

They are OK.

@thrijith
Copy link
Member

left a comment

Thanks for the PR @wojsmol

@schlessera schlessera merged commit 7a19e48 into wp-cli:master Jun 25, 2019

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details

@schlessera schlessera added this to the 2.3.0 milestone Jun 25, 2019

@wojsmol wojsmol deleted the wojsmol:update-deps-in-deb branch Jun 25, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
4 participants
You can’t perform that action at this time.