mirror of
https://github.com/postgres/postgres.git
synced 2025-12-24 06:01:07 +03:00
4d276ba94f
Reported-by: Erik Rijkers Discussion: https://postgr.es/m/82529ecf9bcc58d5b5cf9f3ffb699881%40xs4all.nl