mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-09 12:17:35 +08:00
Issue introduced by me, as of 0065174. Reported-by: David Steele Discussion: https://postgr.es/m/1cf30561-7dad-dc6e-9fc3-5c456948cfeb@pgmasters.net