mirror of
https://github.com/postgres/postgres.git
synced 2026-06-01 05:18:58 -04:00
2a4fad1a0e
Original patch by Hans-Juergen Schoenig, revisions by Karel Zak and Tom Lane.