On Tue, Jul 7, 2015 at 12:08 AM, David Rowley
<david.rowley@2ndquadrant.com> wrote:
> On 7 July 2015 at 10:52, Daniele Varrazzo <daniele.varrazzo@gmail.com>
> wrote:
>>
>> Patch attached.
>>
>>
>
> Thanks for the patch.
>
> Would you be able to post it to pgsql-hackers@postgresql.org instead?
Oops, sorry. Got this wrong, for the other errors I've found I've
already sent the patches to -hackers.
-- Daniele