mirror of
https://github.com/postgres/postgres.git
synced 2025-08-11 04:22:52 +03:00
logical place for it since it is of no use to users. Per recent discussions on cleaning up contrib.
logical place for it since it is of no use to users. Per recent discussions on cleaning up contrib.