mirror of
https://github.com/postgres/postgres.git
synced 2025-08-28 18:48:04 +03:00
This can result in buffers failing to be properly flushed at checkpoint time, leading to data loss. Report, diagnosis, and patch by Jeff Davis.