mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-10 09:57:34 +08:00
Reported-by: Erwin Brandstetter <brsaweda@gmail.com> Discussion: https://postgr.es/m/CAGHENJ6Le7S3qJJx2TvWvTwRNS3N=BtoNeb7AF2rZvfNBMeQcg@mail.gmail.com