On 2017-09-13 14:46:08 -0700, Jeff Janes wrote:
> On Wed, Sep 13, 2017 at 2:41 PM, Andres Freund <andres(at)anarazel(dot)de> wrote:
> > Indeed that seems plausible. I guess something like the attached should
> > fix the issue?
> >
>
> Yep, that fixes it.
Cool. Pushed. Thanks for the report!
Thanks,
Andres