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

KILL query always takes processlist_id #636

Merged
merged 1 commit into from Mar 12, 2019
Merged

KILL query always takes processlist_id #636

merged 1 commit into from Mar 12, 2019

Conversation

kuba--
Copy link
Contributor

@kuba-- kuba-- commented Mar 11, 2019

Signed-off-by: kuba-- kuba@sourced.tech
Fixes #635

Signed-off-by: kuba-- <kuba@sourced.tech>
@kuba-- kuba-- requested review from carlosms and a team March 11, 2019 22:02
@ajnavarro ajnavarro merged commit 239b2af into src-d:master Mar 12, 2019
@kuba-- kuba-- deleted the fix-635/kill branch March 15, 2019 18:04
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.

None yet

3 participants