mirror of
https://github.com/postgres/postgres.git
synced 2025-05-12 16:21:30 +03:00
9cf184cc05
The new name seems a bit more natural. Discussion: https://postgr.es/m/20210117215940.GE8560%40telsasoft.com