mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-09 18:07:29 +08:00
The encoding ID was converted between string and number too many times, probably a remnant from the shell script days. Reviewed-by: Aleksandr Parfenov <a.parfenov@postgrespro.ru>