mirror of
https://github.com/postgres/postgres.git
synced 2025-05-31 00:01:57 -04:00
This has worked that way for a long time, maybe always, but you would not have known it from the documentation. Also back-patch the notes I added to HEAD earlier today about behavior of the "-f -" switch, which likewise have been valid for many releases.