mirror of
https://github.com/postgres/postgres.git
synced 2025-05-31 00:01:57 -04:00
ab3c6d4155
Reported-by: Bernd Helmle Discussion: https://postgr.es/m/31acf8b0f1f701d53245e0cae38abdf5c3a0d559.camel@oopsware.de Backpatch-through: 13