mirror of
https://github.com/postgres/postgres.git
synced 2025-12-24 06:01:07 +03:00
Ok. I have made patches for fixing some of pg_dump problems(see attached patches). The patches address the problem with user defined functions, operators and aggregates.