PG Doc comments form <noreply(at)postgresql(dot)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