Peter Geoghegan <pg(at)heroku(dot)com> writes:
> On Wed, Jul 13, 2016 at 11:44 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>> If you're good with that adjustment, I'm happy to commit this.
> I am happy with the adjustment. Please commit the adjusted patch.
Done with minor adjustments.
regards, tom lane