Re: pg_dump --with-* options

On Thu, 2025-06-12 at 10:18 -0400, Robert Haas wrote:
> Am I too late to propose ripping this out?


As long as we keep the functionality, I'm fine changing the
options/names around at this point.

Regards,
        Jeff Davis

Reply via email to