mirror of
https://github.com/MariaDB/server.git
synced 2025-12-01 17:39:21 +03:00
BUF_PAGE_GET_GEN REDUNDANT? rb://1711 approved by: Marko Makela When decompressing a compressed page that had already been accessed in the buffer pool, do not attempt to merge buffered changes.