Simon Riggs <simon(at)2ndquadrant(dot)com> writes:
> On 7 September 2017 at 11:24, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>> Not hearing anything, I already pushed my patch an hour or three ago.
> Yes, I saw. Are you saying that doc commit is all we need? ISTM we
> still had an actual bug.
The originally reported bug is fixed. Not making any claims about
other bugs ...
regards, tom lane