mirror of https://github.com/postgres/postgres
This variable might've been accurately named when it was added inpull/137/headea886339b8
, but the name hasn't been accurate since at least the introduction of SET ROLE ine5d6b91220
. The corresponding documentation was fixed ineedb068c0a
. This commit renames the variable accordingly. Suggested-by: Joseph Koshakow Discussion: https://postgr.es/m/CAAvxfHc-HHzONQ2oXdvhFF9ayRnidPwK%2BfVBhRzaBWYYLVQL-g%40mail.gmail.com
parent
411b720343
commit
0fef877538
Loading…
Reference in new issue