mirror of
https://github.com/postgres/postgres.git
synced 2026-06-20 23:51:26 -04:00
36e012e727
with fopen() not using FILE_SHARE_DELETE was indeed the bug we were after, given lack of recent reports.