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