mirror of
https://github.com/MariaDB/server.git
synced 2025-01-20 14:02:32 +01:00
Manual merge from 5.0.19 to 5.1, affecting only the problem of bug#16144
ChangeSet@1.2053.37.11, 2006-03-04 23:04:48+03:00, konstantin@mysql.com Null-merge as instructed there!
This commit is contained in:
commit
8266bdb0dc