mirror of
https://github.com/postgres/postgres.git
synced 2025-05-02 11:44:50 +03: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.