Amit Langote <amitlangote09(at)gmail(dot)com> writes:> Attached fixes a typo:
Pushed, thanks.
regards, tom lane