On Thu, Jul 23, 2015 at 11:44 AM, Peter Geoghegan <pg(at)heroku(dot)com> wrote:
> If no one weighs in after a few days, I'll mark the patch "rejected"
> in the CF app.
The patch has been marked "rejected" in the CF app. I withdraw it.
Obviously I still think that the patch is worthwhile, but not if that
"while" is disproportionate to any benefit, which I suspect will be
the case if I proceed.
--
Peter Geoghegan