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

Merge 10.8 into 10.9

This commit is contained in:
Marko Mäkelä
2023-02-16 10:25:34 +02:00
327 changed files with 2896 additions and 1771 deletions

View File

@@ -4035,9 +4035,7 @@ Reprepare_observer::report_error(THD *thd)
* Server_runnable
*******************************************************************/
Server_runnable::~Server_runnable()
{
}
Server_runnable::~Server_runnable() = default;
///////////////////////////////////////////////////////////////////////////