mirror of
https://github.com/postgres/postgres.git
synced 2025-11-14 00:05:25 -05:00
ed6f15eb35
The project has moved to a new place. Reported-by: Peter Neave Discussion: https://postgr.es/m/154474118231.5066.16352227860913505754@wrigleys.postgresql.org