-
Hallvard Furuseth authored
Fix description & code: Also ignore dirty pages hidden by spilled pages, as they won't merge into our dirty_list. Update it in mdb_page_flush() instead of mdb_page_spill().
bc48a406
Fix description & code: Also ignore dirty pages hidden by spilled pages, as they won't merge into our dirty_list. Update it in mdb_page_flush() instead of mdb_page_spill().