On Wed, May 11, 2016 at 11:41 AM, Peter Geoghegan <pg(at)heroku(dot)com> wrote:> Mea culpa. I'll write a patch to fix this soon, aimed for inclusion in> the next point release.
Looks like you've done so already. Thanks.
-- Peter Geoghegan