On 2017-09-15 00:59:35 -0400, Tom Lane wrote:
> Thomas Munro <thomas(dot)munro(at)enterprisedb(dot)com> writes:
> > Rebased on your fix.
>
> Ah, yet a different issue :-(. Pushed that too.
Thanks for pushing the fixes - I'd waited till the first few animals
came back green, and then went to somebody's birthday
celebrations. Didn't wait long enough...
Greetings,
Andres Freund