mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 08:37:38 +08:00
Original patch by Fernando Ike, revived by Josh Kuperschmidt, reviewed by Andreas Karlsson, and in earlier versions by Tom Lane and Peter Eisentraut.