mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-08 15:47:34 +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