1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Merge branch '10.6' into '10.11'

This commit is contained in:
Julius Goryavsky
2024-09-17 01:21:26 +02:00
23 changed files with 644 additions and 493 deletions

View File

@ -3577,7 +3577,6 @@ pthread_handler_t handle_delayed_insert(void *arg)
DBUG_LEAVE;
}
my_thread_end();
pthread_exit(0);
return 0;
}