I wrote:
> Peter Eisentraut <peter(dot)eisentraut(at)2ndquadrant(dot)com> writes:
>>> Here is a draft patch.
> Where are we on pushing that? I'm starting to get antsy about the
> amount of time remaining before rc1. It's a low-risk fix, but still,
> it'd be best to have a complete buildfarm cycle on it before Monday's
> wrap.
Since time is now really running short, I went ahead and pushed
this, after doing a closer review and finding one nitpicky bug.
regards, tom lane