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