mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-07 16:07:30 +08: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