mirror of
https://github.com/MariaDB/server.git
synced 2025-11-08 00:28:29 +03:00
Manual merge from 4.1, extension of the old fix (1.1976 05/12/05 17:57:48 mleich@mysql.com) to two other places.
2.6 KiB
2.6 KiB