On Thu, Sep 05, 2019 at 07:20:14PM -0400, Alvaro Herrera wrote:
> So does this proposal fix the problem that David was describing earlier?
> If it does, Tom, would you like to get this finalized and pushed?
Tom, David, we still have this patch registered as a bug fix in the CF
app. Are you planning to look at it and potentially commit something?
--
Michael