Re: Duplicate "SELECT current_user;"

[Tom Lane]

PG Doc comments form <nore...@postgresql.org> writes:
> One of executions of "SELECT current_user;" is redundant and can be removed.

Yeah, I think you're right.  Done in HEAD.

                        regards, tom lane