mirror of
https://github.com/MariaDB/server.git
synced 2025-01-30 18:41:56 +01:00
5e7796c070
Add diagnostic prints if insert buffer merge is tried to a page whose type is not an index page, try to recover from the situation by discarding the insert buffer records |
||
---|---|---|
.. | ||
ibuf0ibuf.c | ||
Makefile.am | ||
makefilewin |