mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-07 01:37:42 +08:00
17e72ec45d
Reported-by: Karl O. Pinc <kop@karlpinc.com> Discussion: https://www.postgresql.org/message-id/flat/ece84b69-8f94-8b88-925f-64207cb3a2f0@enterprisedb.com