On Sat, Dec 21, 2013 at 5:50 AM, Peter Eisentraut <peter_e(at)gmx(dot)net> wrote:
> This patch didn't make it out of the 2013-11 commit fest. You should
> move it to the next commit fest (probably with an updated patch)
> before January 15th, if it is not resolved before then.
Uh, it's already in the January commitfest.
--
Peter Geoghegan