mirror of
https://github.com/MariaDB/server.git
synced 2025-08-31 22:22:30 +03:00
into whalegate.ndb.mysql.com:/home/tomas/mysql-5.0-maint BitKeeper/deleted/.del-configure.in.rej: Auto merged configure.in: Auto merged
into whalegate.ndb.mysql.com:/home/tomas/mysql-5.0-maint BitKeeper/deleted/.del-configure.in.rej: Auto merged configure.in: Auto merged