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

Merge branch '5.5' into 10.0

This commit is contained in:
Sergei Golubchik
2016-09-27 09:21:19 +02:00
39 changed files with 335 additions and 464 deletions

View File

@@ -425,7 +425,7 @@ main(int argc, char *argv[])
event_dispatch();
free(sds);
my_free(sds);
mysql_library_end();