mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-08 01:07:37 +08: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