mirror of
https://github.com/postgres/postgres.git
synced 2025-11-14 00:05:25 -05:00
Thinko in commit f66912b0a. Back-patch to v10, as that was. Discussion: https://postgr.es/m/154522283371.15419.15167411691473730460@wrigleys.postgresql.org