Michael Paquier <michael(dot)paquier(at)gmail(dot)com> writes:
> On Sun, Jul 10, 2016 at 11:52 PM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>> Yes, please --- I thought it'd all gotten done.
> OK, here are patches for 9.1, 9.2 and 9.3.
Pushed, thanks.
regards, tom lane