1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

Fix trivial merge error

This commit is contained in:
Sergey Petrunia
2009-01-29 11:47:20 +03:00
parent 8731a7c276
commit 2cb3874a5a