Skip to content

Upgrade mysql #828

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
May 23, 2019
Merged

Upgrade mysql #828

merged 1 commit into from
May 23, 2019

Conversation

kuba--
Copy link
Contributor

@kuba-- kuba-- commented May 23, 2019 •
edited
Loading

Signed-off-by: kuba-- [email protected]

It closes couple issues, e.g.: #817

Upgrade mysql
2345343 
Signed-off-by: kuba-- <[email protected]>
@kuba-- kuba-- requested a review from a team May 23, 2019 13:03
@kuba-- kuba-- added the proposal proposal for new additions or changes label May 23, 2019
@ajnavarro ajnavarro merged commit 63a9035 into src-d:master May 23, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@juanjux juanjux juanjux approved these changes

@ajnavarro ajnavarro ajnavarro approved these changes

@erizocosmico erizocosmico erizocosmico approved these changes

Assignees
No one assigned
Labels
proposal proposal for new additions or changes
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@kuba-- @juanjux @ajnavarro @erizocosmico