mirror of
https://github.com/postgres/postgres.git
synced 2025-10-15 05:46:52 +03:00
ab3c6d4155
Reported-by: Bernd Helmle Discussion: https://postgr.es/m/31acf8b0f1f701d53245e0cae38abdf5c3a0d559.camel@oopsware.de Backpatch-through: 13