mirror of
https://github.com/postgres/postgres.git
synced 2025-06-05 00:02:04 -04:00
9cf184cc05
The new name seems a bit more natural. Discussion: https://postgr.es/m/20210117215940.GE8560%40telsasoft.com