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