mirror of
https://github.com/postgres/postgres.git
synced 2025-05-18 17:41:14 +03:00
A couple minor corrections in pg_dump comments and docs, related to the recently introduced compression API. Reported-by: Justin Pryzby Discussion: https://postgr.es/m/20230227044910.GO1653@telsasoft.com