mirror of
https://github.com/postgres/postgres.git
synced 2026-06-02 22:08:41 -04:00
b5e3942f50
extracted from a patch from Jesper Pedersen <jesper.pedersen@redhat.com>