mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-10 19:47:39 +08:00
Thinko in commit f66912b0a. Back-patch to v10, as that was. Discussion: https://postgr.es/m/154522283371.15419.15167411691473730460@wrigleys.postgresql.org