mirror of
https://github.com/postgres/postgres.git
synced 2026-05-23 17:11:26 -04:00
3049fe7cfa
should allow delete-pending files to actually go away, and thereby work around the various complaints we've seen about 'permission denied' errors in such cases. Should be reasonably harmless in any case...