On Thu, May 21, 2015 at 4:32 PM, Alvaro Herrera
<alvherre@2ndquadrant.com> wrote:
> (But as I said earlier, it doesn't really affect me either way, so feel
> free to rip it out.)
That appears to be the consensus. Should I post a patch?
--
Peter Geoghegan