mirror of
https://github.com/postgres/postgres.git
synced 2025-12-05 00:03:16 -05:00
3f1aaaa180
Reported-by: Erik Rijkers Discussion: https://postgr.es/m/73f361d0-237e-3413-224b-86ab6b71a3dd@xs4all.nl