mirror of
https://github.com/MariaDB/server.git
synced 2025-11-13 21:42:58 +03:00
(especially in case of bug like BUG#6732 "FLUSH TABLES WITH READ LOCK + COMMIT makes next FLUSH...LOCK hang forever").
238 B
238 B