mirror of
https://github.com/MariaDB/server.git
synced 2025-01-22 23:04:20 +01:00
6ff00e1dbb
page_header_reset_last_insert(): Add page_zip parameter. rec_get_next_ptr(): Return a pointer to the same page, or NULL. page_dir_delete_slot(): Fix off-by-one errors. |
||
---|---|---|
.. | ||
Makefile.am | ||
page0cur.c | ||
page0page.c | ||
page0zip.c |