mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-03-01 01:37:00 +08:00
to the gettext domain name, to simplify parallel installations. Also, rename set_text_domain() to pg_bindtextdomain(), because that is what it does.