mirror of
https://github.com/postgres/postgres.git
synced 2026-06-04 14:55:34 -04:00
25244b8972
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