On Sun, Aug 7, 2016 at 9:58 PM, Peter Geoghegan <pg@heroku.com> wrote:
> How do you feel about getting this into the next point release, Andres?
I see that you're back from vacation now, Andres. Can we get this one
out of the way before too long?
--
Peter Geoghegan