On Fri, May 6, 2016 at 11:21 AM, Peter Geoghegan <pg(at)heroku(dot)com> wrote:> I'll look into it.
Looks like Tom took care of it.
-- Peter Geoghegan