mirror of
https://github.com/postgres/postgres.git
synced 2025-07-02 09:02:37 +03:00
f683ba0867
Fixup for commit fc0438b4e8.
Author: Paul A. Jungwirth <pj@illuminatedcomputing.com>
Discussion: https://www.postgresql.org/message-id/57ea0668-5205-426e-b934-efc89f2186c2@illuminatedcomputing.com