1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

Merge bk-internal.mysql.com:/home/bk/mysql-3.23

into narttu.mysql.fi:/my/mysql-3.23
This commit is contained in:
monty@narttu.mysql.fi
2003-05-14 22:06:11 +03:00

View File

@@ -488,7 +488,6 @@ os_fast_mutex_free(
DeleteCriticalSection((LPCRITICAL_SECTION) fast_mutex);
#else
UT_NOT_USED(fast_mutex);
pthread_mutex_destroy(fast_mutex);
#endif
}