mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-11 02:37:40 +08:00
The use of file 'config.pl' was not clearly explained. Reported-by: liambowen@gmail.com Discussion: https://postgr.es/m/164246013804.31952.4958087335645367498@wrigleys.postgresql.org Backpatch-through: 10