1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-13 18:02:43 +03:00
Files
mariadb/plugin/server_audit
Sergey Vojtovich e562b43222 MDEV-8111 - remove "fast mutexes"
They aren't faster than normal mutexes. They're disabled by default for years,
so de facto it's dead code, never used.
2015-11-26 11:34:17 +04:00
..
2014-02-24 23:40:16 +04:00
2014-02-24 23:40:16 +04:00