mirror of
https://github.com/postgres/postgres.git
synced 2026-10-29 02:34:42 +08:00
per suggestion from Tom Lane. This fixes crash-bug reported by Stefan Schwarzer.
per suggestion from Tom Lane. This fixes crash-bug reported by Stefan Schwarzer.