mirror of
https://github.com/MariaDB/server.git
synced 2025-12-12 08:01:43 +03:00
buf_flush_remove(): New function, for removing a block from the flush list. Sliced from buf_flush_write_complete(). buf_page_set_state(): Allow transitions between BUF_BLOCK_ZIP_PAGE and BUF_BLOCK_ZIP_DIRTY.