Alvaro Herrera <alvherre(at)2ndquadrant(dot)com> writes:
> Michael Paquier wrote:
>> The issue is fixed by the patch attached. This has been visibly
>> forgotten in the version pushed.
> Yeah. Pushed.
"make check-world" passes again here. Thanks.
regards, tom lane