mirror of
https://github.com/postgres/postgres.git
synced 2025-08-31 17:02:12 +03:00
the wrong buffer dirty when trying to kill a dead index entry that's on a page after the one it started on. No risk of data corruption, just inefficiency, but still a bug.