mirror of
https://github.com/postgres/postgres.git
synced 2025-05-28 00:03:23 -04:00
Rename from value to node, for consistency with similar functions. Discussion: https://www.postgresql.org/message-id/flat/c1097590-a6a4-486a-64b1-e1f9cc0533ce@enterprisedb.com