[Maria-discuss] kill query id

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