Обсуждение: double free in current HEAD's pg_dump

There's a double free in the current HEAD's pg_dump. Fix attached.

Excerpts from Joachim Wieland's message of dom mar 18 02:24:21 -0300 2012:
> There's a double free in the current HEAD's pg_dump. Fix attached.

Thanks, applied.

--
Álvaro Herrera <alvherre@commandprompt.com>
The PostgreSQL Company - Command Prompt, Inc.
PostgreSQL Replication, Consulting, Custom Development, 24x7 support