1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Merge 10.6 into 10.9

This commit is contained in:
Marko Mäkelä
2023-07-05 16:45:10 +03:00
13 changed files with 205 additions and 150 deletions

View File

@@ -3471,6 +3471,12 @@ public:
sp_head *sphead;
sp_name *spname;
void delete_if_not_sp_lex_in_use()
{
if (!sp_lex_in_use)
delete this;
}
sp_pcontext *spcont;
st_sp_chistics sp_chistics;