mirror of
https://github.com/postgres/postgres.git
synced 2025-09-02 04:21:28 +03:00
73018f564a
Reported-by: Bernd Helmle Discussion: https://postgr.es/m/31acf8b0f1f701d53245e0cae38abdf5c3a0d559.camel@oopsware.de Backpatch-through: 13