mirror of
https://github.com/postgres/postgres.git
synced 2025-05-28 05:21:27 +03:00
The documentation used to suggest setting this parameter with ALTER ROLE SET, but that never worked, so replace it with a working suggestion. Reported-by: Kyotaro Horiguchi <horiguchi.kyotaro@lab.ntt.co.jp>