mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-05 09:17:39 +08:00
8bbb8166b6
It's outdated and not really in use anymore. Discussion: https://www.postgresql.org/message-id/flat/cf7ed2b1-1ebe-83cf-e05e-d5943f67af2d%402ndquadrant.com