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