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

Merge 11.0 into 11.1

This commit is contained in:
Marko Mäkelä
2023-06-28 09:38:59 +03:00
86 changed files with 1983 additions and 1096 deletions

View File

@@ -514,8 +514,6 @@ public:
int *need_mon
);
/** Set the global lock wait time out */
int set_lock_wait_timeout(uint timeout);
/** Reset the global lock wait time out */
int reset_lock_wait_timeout();