mirror of
https://github.com/MariaDB/server.git
synced 2025-02-01 03:21:53 +01:00
bd2ec8051d
Reverted change for bug#13859, applied smaller patch from Marko |
||
---|---|---|
.. | ||
dict0boot.c | ||
dict0crea.c | ||
dict0dict.c | ||
dict0load.c | ||
dict0mem.c | ||
Makefile.am |