Michael Paquier <michael(dot)paquier(at)gmail(dot)com> writes:> I just bumped into the following typo that has been introduced by e50cda7:
Pushed, thanks.
regards, tom lane