On 2016-06-09 17:19:34 -0700, Andres Freund wrote:
> On 2016-06-09 14:37:31 -0700, Andres Freund wrote:
> > I'm writing a patch right now, planning to post it later today, commit
> > it tomorrow.
>
> Attached.
And pushed. Thanks to Michael for noticing the missing addition of
header file hunk.
Andres