mirror of
https://github.com/postgres/postgres.git
synced 2025-11-22 00:10:07 -05:00
A follow-up improvement to commit 641a5b7a144. Reported-by: Tatsuo Ishii, Tom Lane Discussion: https://postgr.es/m/20241126.182513.1752581942460106099.ishii@postgresql.org Backpatch-through: master