mirror of
https://github.com/postgres/postgres.git
synced 2026-06-23 09:01:01 -04:00
57ce746617
This can cause problems on Windows, where files that are still open can't be unlinked. Jeff Janes