Hi guys, some time ago i reported a MDEV-4911 about kill a query by query_id

I'm was a bit busy and i don't know if that mdev was merged to official release, does anyone know about it?

Roberto Spadim
SPAEmpresarial

Eng. Automação e Controle