mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
Merge kpdesk.mysql.com:/home/thek/dev/bug23010/my51-bug23010
into kpdesk.mysql.com:/home/thek/dev/mysql-5.1-build
This commit is contained in:
commit
89177e6ed3