Simon Riggs <si...@2ndquadrant.com> writes: > On 7 September 2017 at 11:24, Tom Lane <t...@sss.pgh.pa.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 -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers