mirror of
https://github.com/postgres/postgres.git
synced 2025-04-24 10:47:04 +03:00
The new name has been preferred by Autoconf for a long time. Future versions of Autoconf will warn about the old name. Discussion: https://www.postgresql.org/message-id/flat/e796c185-5ece-8569-248f-dd3799701be1%402ndquadrant.com