mirror of
https://github.com/postgres/postgres.git
synced 2025-10-28 11:55:03 +03:00
I screwed this up in ad0bda5d24.
Reported-By: Jie Zhang, Michael Paquier, Etsuro Fujita
Discussion: https://postgr.es/m/1396E95157071C4EBBA51892C5368521017F2DA203@G08CNEXMBPEKD02.g08.fujitsu.local