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