mirror of
https://github.com/postgres/postgres.git
synced 2025-06-29 10:41:53 +03:00
Follow on patch for commit 3e0f1a4741
.
Reported-by: Peter Eisentraut
Discussion: https://postgr.es/m/369ec766-b947-51bd-4dad-6fb9e026439f@2ndquadrant.com
Backpatch-through: 9.4