mirror of
https://github.com/zebrajr/postgres.git
synced 2025-12-07 12:20:31 +01:00
Remove TODO.detail/pg_dump.
This commit is contained in:
parent
8977b68a42
commit
aa88497a3a