1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge 10.6 into 10.8

This commit is contained in:
Marko Mäkelä
2023-02-10 13:43:53 +02:00
299 changed files with 2528 additions and 1655 deletions

View File

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