mirror of
https://github.com/postgres/postgres.git
synced 2026-06-03 06:18:35 -04:00
f46baf601d
The former name was too likely to conflict with symbols from external headers; and, as seen in recent buildfarm failures in member spoonbill, it has now happened at least in plpython.