On Wed, Sep 25, 2019 at 05:12:26PM -0300, Alvaro Herrera wrote:
> It's not clear to me what the next action should be on this patch. I
> think Jeff got some feedback from Tom, but was that enough to expect a
> new version to be posted? That was in February; should we now (in late
> September) close this as Returned with Feedback?
That sounds rather right to me.
--
Michael