mirror of
https://github.com/postgres/postgres.git
synced 2025-05-23 00:02:38 -04:00
More cleanups.
This commit is contained in:
parent
9c891acd52
commit
72f3b9fce9