vignesh C <vignesh21(at)gmail(dot)com> writes:> The patch does not apply on top of HEAD as in [1], please post a rebased patch:
Yeah, sideswiped by 3c6fc5820 apparently. No substantive change needed.
regards, tom lane