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

Merge 10.4 into 10.5

This commit is contained in:
Marko Mäkelä
2023-02-10 12:02:11 +02:00
277 changed files with 2048 additions and 1500 deletions

View File

@ -197,9 +197,7 @@ end:
Server_side_cursor
****************************************************************************/
Server_side_cursor::~Server_side_cursor()
{
}
Server_side_cursor::~Server_side_cursor() = default;
void Server_side_cursor::operator delete(void *ptr, size_t size)