mirror of
https://github.com/MariaDB/server.git
synced 2025-11-10 23:02:54 +03:00
This change was committed to the 5.1.25 release clone, but never made it to the mysql-5.1 BK tree. I'm committing it to mysql-5.1 bzr now.
231 KiB
231 KiB