On Tue, Jul 7, 2015 at 12:08 AM, David Rowley <david.rowley@xxxxxxxxxxxxxxx> wrote: > On 7 July 2015 at 10:52, Daniele Varrazzo <daniele.varrazzo@xxxxxxxxx> > wrote: >> >> Patch attached. >> >> > > Thanks for the patch. > > Would you be able to post it to pgsql-hackers@xxxxxxxxxxxxxx instead? Oops, sorry. Got this wrong, for the other errors I've found I've already sent the patches to -hackers. -- Daniele -- Sent via pgsql-general mailing list (pgsql-general@xxxxxxxxxxxxxx) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-general