On Tue, Jun 7, 2016 at 8:32 AM, Robert Haas <robertmhaas@gmail.com> wrote:
> You previously offered to write a patch for this. Are you still
> planning to do that?
OK, I'll get to that in the next few days.
I'm slightly concerned that I might have missed a real problem in the
code. I'll need to examine the issue more closely.
--
Peter Geoghegan