mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 23:47:32 +08:00
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...